Some polish

This commit is contained in:
Marty Sluijtman 2025-04-22 10:49:27 +02:00
parent 2e47030987
commit 3e27cb6b22
4 changed files with 39 additions and 7 deletions

1
crude/.gitignore vendored
View file

@ -1,2 +1,3 @@
result
.direnv
.pdf