Jason Gross 68f4c9a5a9 Update Coq.gitignore ...

Coq now uses .mlg rather than .ml4 (since https://github.com/coq/coq/pull/8763), so we have to ignore its generated dependency files.  The `native_compute_profile_*.data` files are generated by `Set NativeCompute Profiling` (see https://github.com/coq/coq/pull/950).  Finally `.coq-native` is a directory that may be generated in any subdirectory, not only at top level, so we should not use absolute paths for it.

2021-04-13 10:39:58 -04:00

489 B

Raw Permalink Blame History

View Raw