summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2020-02-19 17:12:14 +0000
committerNadrieril2020-02-19 17:12:28 +0000
commitce4665bdfcbcb4e34e760acef83bd4de3fbef530 (patch)
treeb6cf0b638d866d2c18fde0d630f050e4878f5428 /dhall
parent7cbfc1a0d32766a383d1f48902502adaa2234d2f (diff)
Update spec to version 13
Diffstat (limited to '')
m---------dhall-lang0
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject e2d08ebf5fb5770b57d0681131bed4289d0bb62
+Subproject 48db9e1ff1f8881fa4310085834fbc19e313ebf