summaryrefslogtreecommitdiff
path: root/dhall_syntax
diff options
context:
space:
mode:
authorNadrieril2019-05-08 00:45:59 +0200
committerNadrieril2019-05-08 00:45:59 +0200
commit03de1d323107916b57def2a39238da14ba23291b (patch)
tree98be43d74185f6b30a6a976b44e61b64046c1c51 /dhall_syntax
parent7680ff4d5ebe7b98cdc54bd0e90a8d22395f715f (diff)
Fix Context shifting
Diffstat (limited to 'dhall_syntax')
0 files changed, 0 insertions, 0 deletions