summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2020-01-29 21:35:28 +0000
committerNadrieril2020-01-29 21:35:28 +0000
commit280b3174476ef8fe5a98f3614f4fe253fa243d8c (patch)
tree93062b08134200b703670b0fe91898a437a924d2 /dhall/tests
parent22bec94618454f57773716870f5624579ab712ce (diff)
Finally get rid of all of the shift/subst_shift !
Diffstat (limited to 'dhall/tests')
0 files changed, 0 insertions, 0 deletions