about summary refs log tree commit diff
path: root/users/wpcarro/scratch/compiler/.gitignore
blob: 96261d3fc7e96fd5176f73de7bb99918d1d8bc8e (plain) (blame)
1
2
3
4
5
a.out
*.cmi
*.cmo
*.cmx
*.o