diff options
Diffstat (limited to 'editors/dedit/files/patch-src-dedit.h')
| -rw-r--r-- | editors/dedit/files/patch-src-dedit.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/editors/dedit/files/patch-src-dedit.h b/editors/dedit/files/patch-src-dedit.h deleted file mode 100644 index 2d9dd757ef38..000000000000 --- a/editors/dedit/files/patch-src-dedit.h +++ /dev/null @@ -1,10 +0,0 @@ ---- src/dedit.h.orig 2007-11-04 00:35:59.000000000 +0100 -+++ src/dedit.h 2007-11-04 00:36:08.000000000 +0100 -@@ -30,7 +30,6 @@ - extern GnomeMDI *DEmdi; - - extern gchar *print_cmd; --extern gboolean restarted; - extern const struct poptOption options[]; - extern gint fs_code; - extern GtkWidget *file_sel; |