We are hiring ! See our job offers.
Revision 11b5f36851151b7069ccee90e4843e3041652939 authored by Boud Roukema on 18 April 2021, 20:25:46 UTC, committed by Boud Roukema on 18 April 2021, 20:25:46 UTC
2 parents 926e498 + a34748f
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