manual: Fix a whitespace issue.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 4 Jun 2016 14:05:44 +0000 (16:05 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 Jun 2016 10:55:33 +0000 (12:55 +0200)
commit692254712d0757950862bb95d653908ee8e39740
treebf5ede40493eaf2fc7d114cfb3f523c9e09dd00e
parent493e7cff4e7d6518ea323a49fba90476e80649a8
manual: Fix a whitespace issue.
adu.1.inc