Tehee

2026-03-30 13:03:22 +02:00
parent 608a0b9f49
commit 437b6e9bbc
2 changed files with 106 additions and 13 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -31,3 +31,5 @@ result-*
 # Ignore automatically generated direnv output
 .direnv

+# Ignore spec
+gbctr.pdf