diff --git a/_tools/pygments2chroma_xml.py b/_tools/pygments2chroma_xml.py old mode 100644 new mode 100755 index 2b8a142..fc04c46 --- a/_tools/pygments2chroma_xml.py +++ b/_tools/pygments2chroma_xml.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 import functools import importlib import json diff --git a/_tools/style.py b/_tools/style.py old mode 100644 new mode 100755 index 0500a1d..0ec0134 --- a/_tools/style.py +++ b/_tools/style.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 import importlib import sys