diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..dca757e --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "3rdparty/cabal-helper"] + path = 3rdparty/cabal-helper + url = https://github.com/DanielG/cabal-helper.git diff --git a/3rdparty/cabal-helper b/3rdparty/cabal-helper new file mode 160000 index 0000000..8648be0 --- /dev/null +++ b/3rdparty/cabal-helper @@ -0,0 +1 @@ +Subproject commit 8648be0324c8f9e5f2904907ae5da3f867ea9f5a