We are hiring ! See our job offers.
Revision a029edd32d5cd41dbdac145189d9b1a08421114e authored by Boud Roukema on 18 April 2021, 21:32:11 UTC, committed by Boud Roukema on 18 April 2021, 21:32:11 UTC
1 parent 11b5f36
History
File Mode Size
reproduce
tex
.dir-locals.el -rw-r--r-- 1.3 KB
.file-metadata -rw-r--r-- 9.0 KB
.gitignore -rw-r--r-- 994 bytes
COPYING -rw-r--r-- 34.3 KB
FAQ -rw-r--r-- 863 bytes
README-hacking.md -rw-r--r-- 91.9 KB
README.md -rw-r--r-- 30.9 KB
TODO -rw-r--r-- 4.5 KB
paper.tex -rw-r--r-- 110.2 KB
project -rwxr-xr-x 24.0 KB

README.md

back to top