aboutsummaryrefslogtreecommitdiffstats
path: root/OCaml.gitignore
blob: fea4c4522ec09d6748f02b2497250b2786cfa031 (plain) 
1
2
3
4
5
6
7
8
9

*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-03 19:09:37 +0000