not really known
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Julius Riegel dcdfdc5783 initial commit 6 years ago
img initial commit 6 years ago
lib initial commit 6 years ago
misc initial commit 6 years ago
.gitignore initial commit 6 years ago
document.tex initial commit 6 years ago
metadata.sty initial commit 6 years ago