mirror of
https://github.com/github/gitignore.git
synced 2024-12-29 02:35:08 +08:00
10 lines
54 B
Plaintext
10 lines
54 B
Plaintext
|
*.annot
|
||
|
|
*.cmo
|
||
|
|
*.cma
|
||
|
|
*.cmi
|
||
|
|
*.a
|
||
|
|
*.o
|
||
|
|
*.cmx
|
||
|
|
*.cmxs
|
||
|
|
*.cmxa
|