]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
Para_play: Improve doxygen global description.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 5 Oct 2022 19:31:03 +0000 (21:31 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 12 Feb 2023 22:45:21 +0000 (23:45 +0100)
Expand and reword this text a bit, and move it into the documentation
of main() so that it appears in the generated html.


No differences found