Fix a few typos in the manual
authorWladimir J. van der Laan <laanwj@gmail.com>
Sun, 3 Apr 2016 12:26:56 +0000 (14:26 +0200)
committerWladimir J. van der Laan <laanwj@gmail.com>
Sun, 3 Apr 2016 12:29:11 +0000 (14:29 +0200)
commit71f9f40fa9e44351f7a9ebabff622c2569689745
treeab3e2090d2c2cfce7de3d9211be2fd82d361771a
parentf9d7091c3b04fd9aa067ed1c087a29faac55d640
Fix a few typos in the manual
manual/manual.tex