Ignore the owl directory (see the "tools" branch)

EuroCRIS · Jan 24, 2024 · 43f25e9 · 43f25e9
1 parent 728111b
commit 43f25e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/.gitignore b/tools/.gitignore
@@ -0,0 +1 @@
+/owl/