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.