Merge pull request #1100 from nico/doc
authorNico Weber <nicolasweber@gmx.de>
Wed, 3 Feb 2016 22:16:49 +0000 (17:16 -0500)
committerNico Weber <nicolasweber@gmx.de>
Wed, 3 Feb 2016 22:16:49 +0000 (17:16 -0500)
commit8028e91a9dc90b51b4da7ded70cc38234ed62451
treec0f5a6401646f5211a65b4c0ff0f585f548a4f03
parentca5fc795f38c77e42657e9d276f1dfc5127a8243
parent17852dae5bd7f63fdaa091db5e3284e87c56ef99
Merge pull request #1100 from nico/doc

Minor updates to the manual.
doc/manual.asciidoc