Repository cleanup

This commit is contained in:
Marius Drechsler 2024-09-03 12:52:31 +02:00
parent 4c6bc51bb4
commit 79fbb6da99
12 changed files with 3 additions and 2164 deletions

3
.gitignore vendored Normal file
View file

@ -0,0 +1,3 @@
.direnv
main.pdf
Session.vim