diff options
author | Nadrieril | 2020-03-21 21:56:09 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-31 21:45:29 +0100 |
commit | 196491a37a9ab2869ab6d76e1417a85a9e033dd4 (patch) | |
tree | 1c4477219d714ddd725f335ed037ac882467bb68 /dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt | |
parent | b0ee39b006ad2ca99bd3dddf06ab0e0dcc966d2f (diff) |
Ensure version numbers are kept in sync
Diffstat (limited to 'dhall/tests/type-inference/failure/unit/IfBranchesNotType.txt')
0 files changed, 0 insertions, 0 deletions