Diffusion gitignore (master) Browse

gitignore/Coq.gitignore
8202fbb408afmaster

Coq.gitignore
View Options

			.*.aux
			*.a
			*.cma
			*.cmi
			*.cmo
			*.cmx
			*.cmxa
			*.cmxs
			*.glob
			*.ml.d
			*.ml4.d
			*.mli.d
			*.mllib.d
			*.mlpack.d
			*.native
			*.o
			*.v.d
			*.vio
			*.vo
			.coq-native/
			.csdp.cache
			.lia.cache
			.nia.cache
			.nlia.cache
			.nra.cache
			csdp.cache
			lia.cache
			nia.cache
			nlia.cache
			nra.cache