aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el1284logplain
-rw-r--r--6001logplain
-rw-r--r--.gitignore995logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--README-hacking.md55352logplain
-rw-r--r--README.md4430logplain
-rwxr-xr-xconfigure40514logplain
-rwxr-xr-xfor-group3590logplain
-rw-r--r--paper.tex10618logplain
d---------reproduce70logplain
d---------tex / src30logplain