make this a configuration directory

This commit is contained in:
2023-01-03 12:14:11 +02:00
parent f8054b3bfb
commit 2065e91789
7 changed files with 30 additions and 0 deletions

1
.gitignore vendored Normal file
View File

@@ -0,0 +1 @@
/result