Added ignore patterns for projects generated using seam-gen
Description
Description
Details
Details
- Committed
Chris Wanstrath <chris@ozmm.org> Nov 23 2010, 02:44 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNORE2483494fc257: add Coq gitignore
- Branches
- Unknown
- Tags