mirror of
https://github.com/github/gitignore
synced 2025-07-02 19:42:08 +02:00
9 lines
54 B
Text
9 lines
54 B
Text
*.annot
|
|
*.cmo
|
|
*.cma
|
|
*.cmi
|
|
*.a
|
|
*.o
|
|
*.cmx
|
|
*.cmxs
|
|
*.cmxa
|