diff options
Diffstat (limited to 'dev-tex/feynmf/files/feynmf-1.08.patch')
| -rw-r--r-- | dev-tex/feynmf/files/feynmf-1.08.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/dev-tex/feynmf/files/feynmf-1.08.patch b/dev-tex/feynmf/files/feynmf-1.08.patch deleted file mode 100644 index 9695d26c26a1..000000000000 --- a/dev-tex/feynmf/files/feynmf-1.08.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -Nur feynmf-orig/feynmf.pl feynmf/feynmf.pl ---- feynmf-orig/feynmf.pl 1996-12-02 01:00:00.000000000 +0100 -+++ feynmf/feynmf.pl 2004-09-02 23:25:40.603910119 +0200 -@@ -373,7 +373,7 @@ - maybe_run "$gftopk_prog $gf" if $gftopk_prog; - } - } -- close (<LOG>); -+ close (LOG); - } - } - } |