projects
/
paraslash.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1da89ea
)
play: Remove unnecessary inclusion of filter.cmdline.h.
author
Andre Noll
<maan@tuebingen.mpg.de>
Sun, 12 Jun 2016 18:38:10 +0000
(20:38 +0200)
committer
Andre Noll
<maan@tuebingen.mpg.de>
Sat, 18 Jun 2016 18:43:27 +0000
(20:43 +0200)
This header defines the gengetopt structure of para_filter, which is
not needed for para_play.
play.c
patch
|
blob
|
history
diff --git
a/play.c
b/play.c
index
e484427
..
a7ce563
100644
(file)
--- a/
play.c
+++ b/
play.c
@@
-13,7
+13,6
@@
#include "para.h"
#include "list.h"
#include "play.cmdline.h"
-#include "filter.cmdline.h"
#include "error.h"
#include "ggo.h"
#include "buffer_tree.h"