Homec4science

add Coq gitignore

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

Description

add Coq gitignore

Details

Committed
Chris Wanstrath <chris@ozmm.org>Nov 23 2010, 02:42
Pushed
aubortJul 2 2018, 16:12
Parents
rGITIGNOREf84e3189d02e: dont track compiled elisp
Branches
Unknown
Tags
Unknown

Event Timeline

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