summaryrefslogtreecommitdiff
path: root/dev-lang/gnuprologjava/files
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 20:57:42 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 20:57:42 +0100
commit1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch)
treee48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-lang/gnuprologjava/files
parentd87262dd706fec50cd150aab3e93883b6337466d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-lang/gnuprologjava/files')
-rw-r--r--dev-lang/gnuprologjava/files/gnuprologjava-0.2.6-manual.patch11
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-lang/gnuprologjava/files/gnuprologjava-0.2.6-manual.patch b/dev-lang/gnuprologjava/files/gnuprologjava-0.2.6-manual.patch
deleted file mode 100644
index e6c1c09e8b13..000000000000
--- a/dev-lang/gnuprologjava/files/gnuprologjava-0.2.6-manual.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- gnuprologjava.orig/docs/manual.texinfo 2011-01-06 13:07:12.000000000 +0100
-+++ gnuprologjava/docs/manual.texinfo 2016-10-27 17:25:09.265632090 +0200
-@@ -36,7 +36,7 @@
- @titlepage
- @title GNU Prolog for Java
- @subtitle for version @value{VERSION}, @value{UPDATED}
--@author Daniel Thomas (@email{info-gnuprolog@gnu.org})
-+@author Daniel Thomas (@email{info-gnuprolog@@gnu.org})
- @insertcopying
- @end titlepage
-