aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/tools
ModeNameSize
-rw-r--r--Translator.tex31624logplain
-rwxr-xr-xlatex_filter848logplain
-rwxr-xr-xshow_latex_messages162logplain