summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 911c7f496a77ab63b0aa4030149925734d04877f (plain)
1
2
3
4
5
6

# ignore intermediate files generated by compilers

*.hi
*.o
*.ali