Bump version (incompatilibity: dropping old Pythons). master 3.0
[texml.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 47 texml
-rwxr-xr-x 2136 texml.py
-rwxr-xr-x 106 texml_local
-rw-r--r-- 107 texml_local.bat