summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorfteychene2020-05-12 14:57:16 +0200
committerfteychene2020-05-15 00:52:53 +0200
commite502da276b4aac49d1ac3b8a8896aa2670a442fc (patch)
tree4c0f31158a5566a7a7f5ed9584a97eb4fa046eab /.gitmodules
parentfcce380d5b4588dc5934bc2e5448d1d981761b50 (diff)
feat: Add cache resolution on resolve
Diffstat (limited to '')
-rw-r--r--.gitmodules1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 16b16c4..81e455f 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,4 @@
[submodule "dhall-lang"]
path = dhall-lang
url = https://github.com/dhall-lang/dhall-lang
+ ignore = dirty