From fbb07a213a3c0d1fa7027b9d6956d3c299cf3e86 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Fri, 15 Jun 2018 15:15:45 +0200 Subject: [PATCH] Add latest cabal-helper --- .gitmodules | 3 +++ 3rdparty/cabal-helper | 1 + 2 files changed, 4 insertions(+) create mode 100644 .gitmodules create mode 160000 3rdparty/cabal-helper 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