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

diff --git a/play.cmd b/play.cmd
deleted file mode 100644
index 2d1999aa..00000000
--- a/play.cmd
+++ /dev/null
@@ -1,13 +0,0 @@
-BN: play
-SF: play.c
-SN: list of commands
----
-N: tasks
-D: Print list of active tasks.
-U: tasks
-H: Mainly useful for debugging.
----
-N: quit
-D: Exit para_play.
-U: quit
-H: Pressing CTRL+D causes EOF on stdin which also exits para_play.