diff options
Diffstat (limited to 'devel/global/files/patch-plugin-factory-pygments_parser.py.in')
| -rw-r--r-- | devel/global/files/patch-plugin-factory-pygments_parser.py.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devel/global/files/patch-plugin-factory-pygments_parser.py.in b/devel/global/files/patch-plugin-factory-pygments_parser.py.in new file mode 100644 index 000000000000..35934de00fdd --- /dev/null +++ b/devel/global/files/patch-plugin-factory-pygments_parser.py.in @@ -0,0 +1,7 @@ +--- plugin-factory/pygments_parser.py.in.orig 2021-05-02 07:38:53 UTC ++++ plugin-factory/pygments_parser.py.in +@@ -1,4 +1,3 @@ +-#!/usr/bin/env python + # + # Copyright (c) 2014 + # Yoshitaro Makise |