Revision 54398b720ddbac269ede30bf1e27fe27f07567f7 authored by Boud Roukema on 28 December 2021, 12:14:17 UTC, committed by Boud Roukema on 28 December 2021, 12:14:17 UTC
This commit adds the Zenodo ID 5806028 and updates the general
software heritage (swh) ID in the README.md file (and swh
in metadata.conf).
1 parent 74ff0f2
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-- 1006 bytes
COPYING -rw-r--r-- 34.3 KB
README-hacking.md -rw-r--r-- 93.1 KB
README.md -rw-r--r-- 28.4 KB
TODO -rw-r--r-- 1.4 KB
paper.tex -rw-r--r-- 101.7 KB
project -rwxr-xr-x 21.8 KB

README.md

back to top