Files
reason/formatTest/.gitignore
2018-10-08 13:07:45 -07:00

5 lines
90 B
Plaintext

typeCheckedTests/*.out
typeCheckedTests/*.cmo
typeCheckedTests/*.cmi
oprintTests/**/*.cmi