manual: Fix typo.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 26 Aug 2017 18:44:24 +0000 (20:44 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 26 Aug 2017 19:12:05 +0000 (21:12 +0200)
commit976c4dcf7865a8bb19129ce7349f666720bf9338
treeee7229179f68afb6263cf5d1dc112a652c6c1aad
parent8c3b190d0d80b5416e62b0c6383531bcdd777e6c
manual: Fix typo.
web/manual.md