This repository has been archived on 2024-01-28. You can view files and clone it, but cannot push or open issues or pull requests.
Find a file
2021-05-13 14:47:35 +02:00
.envrc Convert to flake 2021-05-08 17:43:00 +02:00
.gitignore Initial commit 2021-04-22 19:01:50 +02:00
bibliography.bib Initial commit 2021-04-22 19:01:50 +02:00
flake.lock Convert to flake 2021-05-08 17:43:00 +02:00
flake.nix Use hydra instead of drone 2021-05-13 14:47:35 +02:00
Makefile Fix indentation 2021-04-22 19:01:51 +02:00
seminararbeit.tex Implement formatting requirements 2021-04-22 19:01:52 +02:00