Add .native
6615075fe4ad
Actions

Authored by Jason Gross <jasongross9@gmail.com> on Oct 11 2016, 23:21.

Description

Add .native

Committed

GitHub <noreply@github.com>

Oct 11 2016, 23:21

Pushed

aubort

Jul 2 2018, 16:12

Parents

rGITIGNORE46d36eb78f4f: Update Coq.gitignore

Branches

Unknown

Tags

Unknown

GitHub <noreply@github.com> committed rGITIGNORE6615075fe4ad: Add .native (authored by Jason Gross <jasongross9@gmail.com>).Oct 11 2016, 23:21

				Path
	M			Coq.gitignore