aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-05-29 12:14:19 +0200
committerJonas Smedegaard <dr@jones.dk>2024-06-04 17:35:42 +0200
commit7dde3fccb3fbc045d9f7be8a89ed4b9fc7a46948 (patch)
tree94cc4ca0853923b60bcff62c9f847a3d5b6b0f94 /.gitignore
parentc4b97d8b731ab05c42316ef9c82564f0d562596e (diff)
git-ignore versioned ontology files
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index fa056cb..393c83d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@ svg-inkscape/
/ex/*.puml
/ex/*.png
/ex/*.svg
+/learn/*/*.ttl
/learn/*.ttl
/learn/*.puml
/learn/*.png