mirror of
https://github.com/github/gitignore.git
synced 2026-04-02 17:57:47 +00:00
68f4c9a5a9
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.
46 lines
489 B
Plaintext
46 lines
489 B
Plaintext