diff options
Diffstat (limited to 'x11-wm/page/files/page-1.9.5-page.hxx.patch')
| -rw-r--r-- | x11-wm/page/files/page-1.9.5-page.hxx.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/x11-wm/page/files/page-1.9.5-page.hxx.patch b/x11-wm/page/files/page-1.9.5-page.hxx.patch deleted file mode 100644 index 1540edc852d2..000000000000 --- a/x11-wm/page/files/page-1.9.5-page.hxx.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- src/page.hxx.orig 2015-09-12 16:17:47.278955852 +0200 -+++ src/page.hxx 2015-09-12 16:17:53.706972174 +0200 -@@ -15,6 +15,7 @@ - #include <vector> - #include <string> - #include <map> -+#include <array> - - #include "config.hxx" - |