]> git.tuebingen.mpg.de Git - paraslash.git/blob - play.cmd
para_play, infrastructure.
[paraslash.git] / play.cmd
1 BN: play
2 SF: play.c
3 SN: list of commands
4 ---
5 N: quit
6 D: Exit para_play.
7 U: quit
8 H: Pressing CTRL+D causes EOF on stdin which also exits para_play.