Update Coq.gitignore
Add various files that show up when you run tactics (the *.cache in 8.4 and 8.5, .*.cache in 8.6), build plugins (the various OCaml files), and for the native compiler of Coq 8.5.
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Oct 11 2016, 23:18 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNOREabad92dac5a4: Merge pull request #2093 from Leandros/patch-1
- Branches
- Unknown
- Tags