summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2020-09-14 22:20:04 +0100
committerNadrieril2020-09-14 22:20:04 +0100
commitffb7cff2ff317c81248a680e4899fa45eed00daa (patch)
tree591f4e26859a94d744d55343fa936bc236dc5b83 /dhall-lang
parent97a3719a3b4fa88873cd128fb193444c5d4bb387 (diff)
spec: update to 17.1.0
Diffstat (limited to '')
m---------dhall-lang0
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 0c899ab31fdb857f535fe9f5b37f981271824a6
+Subproject 2cb2e1804aa5ba8379137df1fc1fd1e9afb17ec