]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - play.cmd
play: Remove support for non-lopsub commands.
[paraslash.git] / play.cmd
index 2d1999aa35a940ed01d1e2a7c56e74275b96168b..8cdc9b0891a436ea6cc5dcce42379eb0922d66bb 100644 (file)
--- a/play.cmd
+++ b/play.cmd
@@ -1,13 +1,3 @@
 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.