Jason Gross 994f99fc35 Add generated timing files to Coq.gitignore (#3367) ...

These generated files were added in https://github.com/coq/coq/pull/745

2020-04-07 09:53:51 -03:00

452 B

Raw Blame History

View Raw