summaryrefslogtreecommitdiff
path: root/dhall_syntax
diff options
context:
space:
mode:
authorNadrieril2019-08-15 13:05:23 +0200
committerNadrieril2019-08-15 13:05:23 +0200
commitba19f41873fec98bb24ba709f4b76c3f58ca5aaa (patch)
treeabb991e6048172982036f6556c920f04bdad513b /dhall_syntax
parent67cdda53d95057174b86878f22dbc0efc0255fd9 (diff)
Fix bug in shifting contexts
Diffstat (limited to 'dhall_syntax')
0 files changed, 0 insertions, 0 deletions