summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-03-05 02:25:33 +0100
committerNadrieril2019-03-05 02:25:33 +0100
commitb0fc75a52b9c0c7e74cb242a4c67b8ff19c1fd1d (patch)
treef2a341b5abde3cf5f2f489db21ef10fb56f4b712 /dhall
parent8371b28de5b64e54952762a5979839a802e94440 (diff)
Update spec submodule
Diffstat (limited to '')
m---------dhall-lang0
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 48104eba51093b060b8528fff6922e71ce88424
+Subproject e07ae490ae720f1108c5143c2934879c9660f9a