para_play, infrastructure.

[paraslash.git] / play.cmd

diff --git a/play.cmd b/play.cmd
new file mode 100644 (file)
index 0000000..c0e8d7f
--- /dev/null
+++ b/play.cmd
@@ -0,0 +1,8 @@
+BN: play
+SF: play.c
+SN: list of commands
+---
+N: quit
+D: Exit para_play.
+U: quit
+H: Pressing CTRL+D causes EOF on stdin which also exits para_play.