6 lines
33 B
Plaintext
6 lines
33 B
Plaintext
*.cmi
|
|
*.cmo
|
|
*.cma
|
|
*.byte
|
|
rewrite
|
*.cmi
|
|
*.cmo
|
|
*.cma
|
|
*.byte
|
|
rewrite
|