]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
doxygen: Trivial cleanups.
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 19 May 2017 06:22:15 +0000 (08:22 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 25 Jun 2017 18:11:08 +0000 (20:11 +0200)
A couple of capitalization and punctuation fixes.


No differences found