diff options
Diffstat (limited to 'license.patch')
| -rw-r--r-- | license.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/license.patch b/license.patch deleted file mode 100644 index 42abce87a675..000000000000 --- a/license.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/setup.py b/setup.py -index 032fdcc..8973cfc 100644 ---- a/setup.py -+++ b/setup.py -@@ -8,7 +8,7 @@ setup( - author = "Reynald Affeldt", - install_requires = ['pygments'], - packages = ['ssrmint'], -+ license = 'BSD', -- license = ['BSD'], - entry_points = { - 'pygments.styles': ['ssr = ssrmint:SSRStyle'], - 'pygments.lexers': ['CoqLexer = ssrmint:SSRLexer'], |