diff options
Diffstat (limited to 'frontends/gtk/gui.c')
| -rw-r--r-- | frontends/gtk/gui.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/frontends/gtk/gui.c b/frontends/gtk/gui.c index 61560ddab..d128dc24f 100644 --- a/frontends/gtk/gui.c +++ b/frontends/gtk/gui.c @@ -49,7 +49,6 @@ #include "desktop/save_complete.h" #include "desktop/save_pdf.h" #include "desktop/searchweb.h" -#include "desktop/tree.h" #include "gtk/compat.h" #include "gtk/warn.h" @@ -61,7 +60,6 @@ #include "gtk/global_history.h" #include "gtk/hotlist.h" #include "gtk/throbber.h" -#include "gtk/treeview.h" #include "gtk/scaffolding.h" #include "gtk/window.h" #include "gtk/schedule.h" |