X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=play.cmd;h=459ad8cfe3091264f17913d2915861dde7f8b02f;hp=c0e8d7f13637ea3d100efbbe07dfb4cb3366df38;hb=refs%2Fheads%2Fmaint;hpb=d02f88dfc3911262174afe6017e04d70e8557a7a

diff --git a/play.cmd b/play.cmd
deleted file mode 100644
index c0e8d7f1..00000000
--- a/play.cmd
+++ /dev/null
@@ -1,8 +0,0 @@
-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.