diff options
Diffstat (limited to 'editors/p5-Padre/files/extra-patch-editor')
| -rw-r--r-- | editors/p5-Padre/files/extra-patch-editor | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/editors/p5-Padre/files/extra-patch-editor b/editors/p5-Padre/files/extra-patch-editor deleted file mode 100644 index 57a3240ac8cf..000000000000 --- a/editors/p5-Padre/files/extra-patch-editor +++ /dev/null @@ -1,10 +0,0 @@ ---- wx-scintilla/src/scintilla/src/Editor.cxx.orig 2016-07-10 12:18:20.419137000 +0200 -+++ wx-scintilla/src/scintilla/src/Editor.cxx 2016-07-10 12:18:29.917664000 +0200 -@@ -16,6 +16,7 @@ - #include <map> - #include <algorithm> - #include <memory> -+#include <cmath> - - #include "Platform.h" - |