summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 8345c5407dc5f4a9eb1fdbe6e51fa48b67305fdf (plain)
1
2
3
4
5

# ignore files generated by compilers

*.ali
*.o