summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2020-04-11 14:04:22 +0100
committerNadrieril2020-04-11 14:04:22 +0100
commitd7938a75301d8a1bb870505a8a138d4bdf143632 (patch)
tree4c73f5de8e3c2f831358f280740ecada2770d5a2 /dhall-lang
parentf78da0fb1f338123a226ec4d576b5329fffb5148 (diff)
Update spec to v15
Diffstat (limited to '')
m---------dhall-lang0
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 99d84e47ed9c64cee9c48212ca8f2af9320cdda
+Subproject 91d88e0a7938387cd8eb3cfaf091bd79d312168