summaryrefslogtreecommitdiff
path: root/dhall/src/errors/IfBranchMustBeTerm.txt
diff options
context:
space:
mode:
authorNadrieril2019-04-07 22:39:44 +0200
committerNadrieril2019-04-07 22:39:44 +0200
commitcfdc5297d565c80f8362fc4ac31e25e3ebf34e84 (patch)
tree029ecf3221514847dd029d12bca4ce2296dfc3d7 /dhall/src/errors/IfBranchMustBeTerm.txt
parent605e883696f8861e4b8c00b18ead9b933ac30e7a (diff)
Tweaks
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions