Jan Ulrich Hasecke
2022-07-01 0677b732357739b1545950af57e2d39a84fcc7ac
local drwxr-xr-x
source drwxr-xr-x
.gitignore 1 KB -rw-r--r--
Makefile 638 b -rw-r--r--
Pipfile 181 b -rw-r--r--
Pipfile.lock 11 KB -rw-r--r--
README.md 1 KB -rw-r--r--
make.bat 799 b -rw-r--r--
mystyle.sty 1 KB -rw-r--r--
rename.sh 119 b -rwxr-xr-x