Jason Gross 38c1cfcdbc Update Coq.gitignore after coq/coq#11075 (#3247) ...

Add .vok files from https://github.com/coq/coq/pull/11075

2019-11-25 16:45:55 -04:00

269 B

Raw Blame History

View Raw