gitignore/Coq.gitignore

.*.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
Update Coq.gitignore Add various files that show up when you run tactics (the .cache in 8.4 and 8.5, ..cache in 8.6), build plugins (the various OCaml files), and for the native compiler of Coq 8.5. 2016-10-12 05:18:40 +08:00			`.*.aux`
			`*.a`
			`*.cma`
			`*.cmi`
			`*.cmo`
			`*.cmx`
			`*.cmxa`
			`*.cmxs`
add Coq gitignore 2010-11-21 15:34:20 +08:00			`*.glob`
Update Coq.gitignore Add various files that show up when you run tactics (the .cache in 8.4 and 8.5, ..cache in 8.6), build plugins (the various OCaml files), and for the native compiler of Coq 8.5. 2016-10-12 05:18:40 +08:00			`*.ml.d`
			`*.ml4.d`
			`*.mli.d`
Add mllib, mlpack files 2016-10-12 05:25:39 +08:00			`*.mllib.d`
			`*.mlpack.d`
Add .native 2016-10-12 05:21:20 +08:00			`*.native`
Update Coq.gitignore Add various files that show up when you run tactics (the .cache in 8.4 and 8.5, ..cache in 8.6), build plugins (the various OCaml files), and for the native compiler of Coq 8.5. 2016-10-12 05:18:40 +08:00			`*.o`
add Coq gitignore 2010-11-21 15:34:20 +08:00			`*.v.d`
Update Coq.gitignore Add various files that show up when you run tactics (the .cache in 8.4 and 8.5, ..cache in 8.6), build plugins (the various OCaml files), and for the native compiler of Coq 8.5. 2016-10-12 05:18:40 +08:00			`*.vio`
			`*.vo`
			`.coq-native/`
			`.csdp.cache`
			`.lia.cache`
			`.nia.cache`
			`.nlia.cache`
			`.nra.cache`
			`csdp.cache`
			`lia.cache`
			`nia.cache`
			`nlia.cache`
			`nra.cache`