2023-09-21 08:15:11 +00:00
4 changed files with 1 additions and 0 deletions
--- a/doc/sticker/Garage.pdf
+++ b/doc/sticker/Garage.pdf
--- a/doc/sticker/Garage.png
+++ b/doc/sticker/Garage.png
--- a/doc/sticker/Garage_NGI.pdf
+++ b/doc/sticker/Garage_NGI.pdf
--- a/doc/talks/.gitignore
+++ b/doc/talks/.gitignore
@ -0,0 +1 @@
+.direnv/