Update .gitignore

matentzn · matentzn · commit 106c205ec546 · 2023-02-16T12:33:34.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,4 @@ docs/examples/out.owl
 docs/examples/results/
 junk/
 target/
+docs/examples/.gradle/
