play: Remove unused dummy completer.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 13 Jun 2017 18:22:08 +0000 (20:22 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 14 Jun 2017 17:54:01 +0000 (19:54 +0200)
commit3e68ddfb40c68b5f2e13eff8aca9de14f7122a5f
tree4a437e22f85027b39e8106613fb576307ea187bd
parentb79ea15c3dcc872452405b021bce7d196a7115dc
play: Remove unused dummy completer.

There is no stop command for para_play.
play.c