play: Remove unnecessary inclusion of filter.cmdline.h.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 12 Jun 2016 18:38:10 +0000 (20:38 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 18 Jun 2016 18:43:27 +0000 (20:43 +0200)
commit9b8d01ce7486882bb2fa82b2f328780b9d0ba249
tree95a471809c7050d8e89e3b472016aabec46a1b4f
parent1da89eac79c97bbdd27404a3094238ebd2f22656
play: Remove unnecessary inclusion of filter.cmdline.h.

This header defines the gengetopt structure of para_filter, which is
not needed for para_play.
play.c