diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/series | 1 | ||||
| -rw-r--r-- | debian/patches/use-system-xpm.h.patch | 13 |
2 files changed, 0 insertions, 14 deletions
diff --git a/debian/patches/series b/debian/patches/series index ec5bee6..b38a365 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,4 +1,3 @@ install-dir.patch no-missing-messages.patch non-static-open-axiom-binary.patch -use-system-xpm.h.patch diff --git a/debian/patches/use-system-xpm.h.patch b/debian/patches/use-system-xpm.h.patch deleted file mode 100644 index 801ef5c..0000000 --- a/debian/patches/use-system-xpm.h.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: open-axiom-debian/src/lib/pixmap.c -=================================================================== ---- open-axiom-debian.orig/src/lib/pixmap.c 2011-09-03 03:05:32.000000000 +0400 -+++ open-axiom-debian/src/lib/pixmap.c 2011-09-03 03:55:34.000000000 +0400 -@@ -263,7 +263,7 @@ - #else /*OLD*/ - - --#include "xpm.h" -+#include <X11/xpm.h> - - int - read_pixmap_file(Display *display, int screen, char *filename, |