Ignore build output

KeYProject · Nov 12, 2023 · eff7f7b · eff7f7b
1 parent 0bbd320
commit eff7f7b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 site/
+/public
 
 .DS_Store
 *.out