aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el1209logplain
-rw-r--r--4780logplain
-rw-r--r--.gitignore998logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--README-hacking.md53131logplain
-rw-r--r--README.md4399logplain
-rwxr-xr-xconfigure37139logplain
-rwxr-xr-xfor-group3677logplain
-rw-r--r--paper.tex10465logplain
d---------reproduce63logplain
d---------tex / src30logplain