manual: Fix typo.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 15 Jul 2017 13:33:47 +0000 (15:33 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 15 Jul 2017 23:09:09 +0000 (01:09 +0200)
commit40a60cb3cfe62626a41f677046e714c0577dc745
tree14954bdc180e75a90c09d5faf8e43c3f974ec5a0
parentb900821b2beccd82a56f17bc43d9fa10e8533942
manual: Fix typo.

Duplicate "about".
web/manual.md