added gitignore

This commit is contained in:
2023-06-10 01:17:13 +02:00
parent 7d16eaf2cc
commit cd9bc6e0a3

1
.gitignore vendored Normal file
View File

@@ -0,0 +1 @@
facts/*