From 849a1e59a9cd1fbd91a4fa64b027d720ff63ff2c Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 27 Feb 2019 19:30:59 +0100 Subject: Add dhall-lang spec repo as a submodule --- .gitmodules | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .gitmodules (limited to '.gitmodules') diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..16b16c4 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "dhall-lang"] + path = dhall-lang + url = https://github.com/dhall-lang/dhall-lang -- cgit v1.2.3