mv util in own branch of util repo

ad-freiburg · Mar 22, 2024 · 08da9a9 · 08da9a9
1 parent 92d705a
commit 08da9a9
Show file tree

Hide file tree

Showing 76 changed files with 7 additions and 18,124 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,5 @@
 *.swp
 *.swo
+*.swn
+*.ttl
+*.bz2
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "src/util"]
+	path = src/util
+	url = https://github.com/ad-freiburg/util.git
diff --git a/src/util b/src/util
-Original file line number
+Diff line change
@@ -1,2 +1,5 @@
     *.swp
     *.swo
+    *.swn
+    *.ttl
+    *.bz2