diff options
| author | Nadrieril | 2019-04-07 22:39:44 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-07 22:39:44 +0200 |
| commit | cfdc5297d565c80f8362fc4ac31e25e3ebf34e84 (patch) | |
| tree | 029ecf3221514847dd029d12bca4ce2296dfc3d7 /dhall/src/errors/IfBranchMustBeTerm.txt | |
| parent | 605e883696f8861e4b8c00b18ead9b933ac30e7a (diff) | |
Tweaks
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions