From 3e68ddfb40c68b5f2e13eff8aca9de14f7122a5f Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 13 Jun 2017 20:22:08 +0200
Subject: [PATCH] play: Remove unused dummy completer.

There is no stop command for para_play.
---
 play.c | 1 -
 1 file changed, 1 deletion(-)

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);
-- 
2.39.5