diff options
author | Marco Pesenti Gritti <marco@gnome.org> | 2005-02-25 12:30:51 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-02-25 12:30:51 (GMT) |
commit | 4f20242e99d9430b244da7e2153122dafe20a4e4 (patch) | |
tree | 28c26c48dee2087722fdd93f394d815eb363e9b8 /shell | |
parent | f3e64159355661479db1232f45ccf75b8cbb23cc (diff) |
Remove unused header -> fix distcheck
2005-02-25 Marco Pesenti Gritti <marco@gnome.org>
* shell/ev-window.c:
Remove unused header -> fix distcheck
Diffstat (limited to 'shell')
-rw-r--r-- | shell/ev-window.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/shell/ev-window.c b/shell/ev-window.c index 4908b36..f1c41bb 100644 --- a/shell/ev-window.c +++ b/shell/ev-window.c @@ -34,7 +34,6 @@ #include "ev-sidebar-links.h" #include "ev-sidebar-thumbnails.h" #include "ev-view.h" -#include "ev-page-view.h" #include "ev-password.h" #include "ev-password-view.h" #include "ev-print-job.h" |