]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - play.cmd
Remove *.cmd and command_util.bash.
[paraslash.git] / play.cmd
diff --git a/play.cmd b/play.cmd
deleted file mode 100644 (file)
index 8cdc9b0..0000000
--- a/play.cmd
+++ /dev/null
@@ -1,3 +0,0 @@
-BN: play
-SF: play.c
-SN: list of commands