aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el1160logplain
-rw-r--r--4847logplain
-rw-r--r--.gitignore951logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--README-hacking.md53085logplain
-rw-r--r--README.md4217logplain
-rwxr-xr-xconfigure31518logplain
-rwxr-xr-xfor-group3337logplain
-rw-r--r--paper.tex13484logplain
d---------reproduce63logplain
d---------tex / src30logplain