From e0e325d6b927eb9cfdeef02053521879aaee1a95 Mon Sep 17 00:00:00 2001 From: Dale Whinham Date: Tue, 9 Jun 2020 01:28:47 +0100 Subject: [PATCH] Add munt as a submodule --- .gitmodules | 3 +++ external/munt | 1 + 2 files changed, 4 insertions(+) create mode 160000 external/munt diff --git a/.gitmodules b/.gitmodules index 4d82b09..473e9fc 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "external/circle-stdlib"] path = external/circle-stdlib url = https://github.com/smuehlst/circle-stdlib +[submodule "external/munt"] + path = external/munt + url = https://github.com/munt/munt.git diff --git a/external/munt b/external/munt new file mode 160000 index 0000000..f2bf654 --- /dev/null +++ b/external/munt @@ -0,0 +1 @@ +Subproject commit f2bf654695558f93633aef0e8be3110e9a266406