summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2020-02-20 18:52:34 +0000
committerNadrieril2020-02-20 18:54:11 +0000
commit86508a3ad59a0bfc1e24448d0a0126b1a1c645e1 (patch)
tree05db6aab6499ba2a3d91e0253571ee3cf5fefc8f /dhall-lang
parent26ed5a1d4d43573ac8ad2f8de9e4dd411650aa9a (diff)
Add support for duplicate record fields
Diffstat (limited to '')
m---------dhall-lang0
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 48db9e1ff1f8881fa4310085834fbc19e313ebf
+Subproject 3301f2e2a408d9e3953185c51c1a07c668db47b