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