From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 13 Jun 2017 18:22:08 +0000 (+0200)
Subject: play: Remove unused dummy completer.
X-Git-Tag: v0.6.1~71
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=3e68ddfb40c68b5f2e13eff8aca9de14f7122a5f;p=paraslash.git

play: Remove unused dummy completer.

There is no stop command for para_play.
---

diff --git a/play.c b/play.c
index 10451039..4bd32a67 100644
--- a/play.c
+++ b/play.c
@@ -710,7 +710,6 @@ I9E_DUMMY_COMPLETER(ls);
 I9E_DUMMY_COMPLETER(info);
 I9E_DUMMY_COMPLETER(play);
 I9E_DUMMY_COMPLETER(pause);
-I9E_DUMMY_COMPLETER(stop);
 I9E_DUMMY_COMPLETER(tasks);
 I9E_DUMMY_COMPLETER(quit);
 I9E_DUMMY_COMPLETER(ff);