gitignore

Author	SHA1	Message	Date
Jason Gross	994f99fc35	Add generated timing files to Coq.gitignore (#3367 ) These generated files were added in https://github.com/coq/coq/pull/745	2020-04-07 09:53:51 -03:00
Jason Gross	38c1cfcdbc	Update Coq.gitignore after coq/coq#11075 (#3247 ) Add .vok files from https://github.com/coq/coq/pull/11075	2019-11-25 16:45:55 -04:00
Jason Gross	44bc08a5d1	Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223 )	2019-11-08 17:08:16 -04:00
Jason Gross	8202fbb408	Add mllib, mlpack files	2016-10-11 17:25:39 -04:00
Jason Gross	6615075fe4	Add .native	2016-10-11 17:21:20 -04:00
Jason Gross	46d36eb78f	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-11 17:18:40 -04:00
Ivan Zuzak	f0dde55c6b	ensure single trailing newline	2013-10-06 14:40:01 +02:00
Dan	2483494fc2	add Coq gitignore	2010-11-22 17:42:32 -08:00