diff options
author | Florian Diebold <[email protected]> | 2019-01-06 22:01:33 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-01-06 23:05:19 +0000 |
commit | cf49a11263c4d48720250db0c448b97dbec3d8b9 (patch) | |
tree | 7636e9919e5390b7b6d01d92aaf5336a3fbe590b /.gitignore | |
parent | 6210e82041849bad6129331b9e45ac0bae6fe569 (diff) |
Sort ranges in type inference tests
Also rename the files to remove the numbers (they don't serve a purpose now that
there are only the data files).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions