add Coq gitignore
2483494fc257
Actions

Authored by Dan <dcolish@gmail.com> on Nov 21 2010, 08:34.

Description

add Coq gitignore

Committed

Chris Wanstrath <chris@ozmm.org>

Nov 23 2010, 02:42

Pushed

aubort

Jul 2 2018, 16:12

Parents

rGITIGNOREf84e3189d02e: dont track compiled elisp

Branches

Unknown

Tags

Unknown

Chris Wanstrath <chris@ozmm.org> committed rGITIGNORE2483494fc257: add Coq gitignore (authored by Dan <dcolish@gmail.com>).Nov 23 2010, 02:42

				Path
	A			Coq.gitignore