diff options
Diffstat (limited to 'pkgs/applications/editors/emacs-modes/jdee/build-properties.patch')
-rw-r--r-- | pkgs/applications/editors/emacs-modes/jdee/build-properties.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/pkgs/applications/editors/emacs-modes/jdee/build-properties.patch b/pkgs/applications/editors/emacs-modes/jdee/build-properties.patch deleted file mode 100644 index d0a733b912e3..000000000000 --- a/pkgs/applications/editors/emacs-modes/jdee/build-properties.patch +++ /dev/null @@ -1,12 +0,0 @@ -Make sure `build.properties' is honored. - ---- jde/build.xml -+++ jde/build.xml -@@ -14,6 +14,7 @@ - <property name="project.version" value="2.4.0"/> - <property name="config.dir" location="./config"/> - -+ <property file="build.properties"/> - - <!-- everything depends on this initialization target --> - <target name="init"> |