[build] ignore files generated by Coq 8.11 (!16) · Merge requests · Nomadic Labs / Albert

Raphaël Cauderlier requested to merge rafoo@ignore_generated_coq_8_11 into master Apr 07, 2020

Ignore files ending in .vos and .vok that are generated by Coq 8.11. I cannot tell you more about these files for the moment because https://coq.github.io/doc/v8.11/refman/changes.html is currently broken due to a maintenance at Github.

[build] ignore files generated by Coq 8.11

Merge request reports