Python 3.4+ compatibility (while dropping Python < 2.6).
[texml.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 47 texml
-rwxr-xr-x 2138 texml.py
-rwxr-xr-x 106 texml_local
-rw-r--r-- 107 texml_local.bat