14 lines
79 B
Plaintext
14 lines
79 B
Plaintext
|
*.cmi
|
||
|
|
*.cmo
|
||
|
|
*.cma
|
||
|
|
*.cmx
|
||
|
|
*.cmxa
|
||
|
|
*.top
|
||
|
|
*.o
|
||
|
|
*.a
|
||
|
|
._bcdi/
|
||
|
|
._ncdi/
|
||
|
|
._d/
|
||
|
|
cpdf
|
||
|
|
*.annot
|