Merge pull request #2130 from JasonGross/patch-1
02a362b1e416
Actions

Authored by Brendan Forster <brendan@github.com> on Nov 7 2016, 00:08.

Description

Merge pull request #2130 from JasonGross/patch-1

Update Coq.gitignore

Committed

GitHub <noreply@github.com>

Nov 7 2016, 00:08

Pushed

aubort

Jul 2 2018, 16:12

Parents

Branches

Unknown

Tags

Unknown

GitHub <noreply@github.com> committed rGITIGNORE02a362b1e416: Merge pull request #2130 from JasonGross/patch-1 (authored by Brendan Forster <brendan@github.com>).Nov 7 2016, 00:08

Commit	Author	Details	Committed
8202fbb408af	Jason Gross/GitHub	Add mllib, mlpack files	Oct 11 2016
6615075fe4ad	Jason Gross/GitHub	Add .native	Oct 11 2016
46d36eb78f4f	Jason Gross/GitHub	Update Coq.gitignore	Oct 11 2016

				Path
	M			Coq.gitignore