Initial commit

This commit is contained in:
Marius Drechsler 2025-05-17 14:42:57 +02:00
commit 573abbe7c3
Signed by: marius
GPG key ID: 56D4131BA3104777
4 changed files with 183 additions and 0 deletions

3
.gitignore vendored Normal file
View file

@ -0,0 +1,3 @@
result*
.direnv
.envrc