aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el920logplain
-rw-r--r--3666logplain
-rw-r--r--.gitignore270logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--README-hacking.md52618logplain
-rw-r--r--README.md3362logplain
-rwxr-xr-xconfigure24704logplain
-rwxr-xr-xfor-group2810logplain
-rw-r--r--paper.tex11519logplain
d---------reproduce63logplain
d---------tex370logplain