diff options
| author | fteychene | 2020-05-12 14:57:16 +0200 |
|---|---|---|
| committer | fteychene | 2020-05-15 00:52:53 +0200 |
| commit | e502da276b4aac49d1ac3b8a8896aa2670a442fc (patch) | |
| tree | 4c0f31158a5566a7a7f5ed9584a97eb4fa046eab /.gitmodules | |
| parent | fcce380d5b4588dc5934bc2e5448d1d981761b50 (diff) | |
feat: Add cache resolution on resolve
Diffstat (limited to '')
| -rw-r--r-- | .gitmodules | 1 |
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 |