gitignore

огледало од https://github.com/github/gitignore.git

Дрво: 0d7600fc30

Аутор	SHA1	Порука	Датум
Jason Gross	8202fbb408	Add mllib, mlpack files	пре 7 година
Jason Gross	6615075fe4	Add .native	пре 7 година
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.	пре 7 година
Ivan Zuzak	f0dde55c6b	ensure single trailing newline	пре 10 година
Dan	2483494fc2	add Coq gitignore	пре 13 година