Add osh-file-types submodule

penyuan · penyuan · commit 3d1bb9a50a8f · 2022-07-22T16:54:46.000+01:00
From: https://gitlab.com/OSEGermany/osh-file-types This provides a list of OSH file type mappings.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "oshminer/osh-file-types"]
+	path = oshminer/osh-file-types
+	url = https://gitlab.com/OSEGermany/osh-file-types.git
diff --git a/oshminer/osh-file-types b/oshminer/osh-file-types
@@ -0,0 +1 @@
+Subproject commit 451da3ce81c47912f7dc06e013ca2578e53f961d

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[submodule "oshminer/osh-file-types"]`
	`2`	`+ path = oshminer/osh-file-types`
	`3`	`+ url = https://gitlab.com/OSEGermany/osh-file-types.git`