tree 638c9d78c3263113de6c800832f1b24dd781b8ef
parent aed962b9561840e71543062ff362cdbf54106be0
author vlakoff <vlakoff@gmail.com> 1422198598 +0100
committer vlakoff <vlakoff@gmail.com> 1422198598 +0100

Small fixes in documentation