]> git.tue.mpg.de Git - paraslash.git/commit
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)
commit7c988892fc0bcde45f2afc7480717335bea5bbc4
tree6018dfc563bfe4dc2ff5a00adef0ff8f4e0a92f4
parent15e3068cd0b95a7ae37f8edc2eceea3b2a3a49a9
Para_play: Improve doxygen global description.

Expand and reword this text a bit, and move it into the documentation
of main() so that it appears in the generated html.
play.c