aboutsummaryrefslogtreecommitdiff
path: root/scripts
ModeNameSize
-rw-r--r--.gitignore12logplain
-rwxr-xr-xreqs2tex.py4261logplain
-rw-r--r--tex.py1412logplain
-rwxr-xr-xtime2tex.py5709logplain