From 0729f6f8dd0d1c3425627efeb8e673d04bafb241 Mon Sep 17 00:00:00 2001 From: Valentina Galata <valentina.galata@uni.lu> Date: Fri, 26 Jun 2020 09:34:46 +0200 Subject: [PATCH] added minced as submodule (issue #42) --- .gitmodules | 3 +++ submodules/minced | 1 + 2 files changed, 4 insertions(+) create mode 160000 submodules/minced diff --git a/.gitmodules b/.gitmodules index bf59836..e2f2715 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "submodules/casc"] path = submodules/casc url = https://github.com/dnasko/CASC +[submodule "submodules/minced"] + path = submodules/minced + url = https://github.com/ctSkennerton/minced diff --git a/submodules/minced b/submodules/minced new file mode 160000 index 0000000..772d7ee --- /dev/null +++ b/submodules/minced @@ -0,0 +1 @@ +Subproject commit 772d7eea0ca8d7d0b9ff717ca21f95782e4c5d40 -- GitLab