Merge pull request #1095 from ontodev/ignore-gradle-folder

jamesaoverton · web-flow · commit e8710efe4ab7 · 2023-02-16T14:06:58.000-05:00
Adding temporary gradle files to .gitignore
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,4 @@ docs/examples/out.owl
 docs/examples/results/
 junk/
 target/
+docs/examples/.gradle/
