X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=play.cmd;fp=play.cmd;h=c0e8d7f13637ea3d100efbbe07dfb4cb3366df38;hp=0000000000000000000000000000000000000000;hb=d02f88dfc3911262174afe6017e04d70e8557a7a;hpb=3b2ee202452ef44ff8bcec442b986531533cc43f

diff --git a/play.cmd b/play.cmd
new file mode 100644
index 00000000..c0e8d7f1
--- /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.