diff options
Diffstat (limited to 'editors/jedit/build.properties_4.4.1.patch')
-rw-r--r-- | editors/jedit/build.properties_4.4.1.patch | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/editors/jedit/build.properties_4.4.1.patch b/editors/jedit/build.properties_4.4.1.patch deleted file mode 100644 index d92dfd9d9d..0000000000 --- a/editors/jedit/build.properties_4.4.1.patch +++ /dev/null @@ -1,8 +0,0 @@ -diff -urNp jEdit.orig/build.properties jEdit/build.properties ---- jEdit.orig/build.properties 1970-01-01 01:00:00.000000000 +0100 -+++ jEdit/build.properties 2006-08-08 21:07:34.000000000 +0200 -@@ -0,0 +1,4 @@ -+xsltproc.executable=xsltproc
-+docbook.xsl=/usr/share/xml/docbook/xsl-stylesheets-1.76
-+docbook.catalog=/usr/share/xml/docbook/xml-dtd-4.5/catalog.xml
-+fop.dir=/usr/share/fop-0.20.5
|