diff options
| -rw-r--r-- | print/latex-feynmf/files/patch-feynmf.pl | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/print/latex-feynmf/files/patch-feynmf.pl b/print/latex-feynmf/files/patch-feynmf.pl deleted file mode 100644 index 23905d961bec..000000000000 --- a/print/latex-feynmf/files/patch-feynmf.pl +++ /dev/null @@ -1,11 +0,0 @@ ---- feynmf.pl Mon Jan 26 03:58:28 2004 -+++ feynmf.pl Mon Jan 26 03:58:57 2004 -@@ -373,7 +373,7 @@ - maybe_run "$gftopk_prog $gf" if $gftopk_prog; - } - } -- close (<LOG>); -+ close (LOG); - } - } - } |