aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el1289logplain
-rw-r--r--9198logplain
-rw-r--r--.gitattributes199logplain
-rw-r--r--.gitignore1010logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--README-hacking.md95494logplain
-rw-r--r--README.md32818logplain
-rw-r--r--paper.tex66696logplain
d---------peer-review120logplain
-rwxr-xr-xproject22798logplain
d---------reproduce70logplain
d---------tex97logplain