Skip to content

[coq] Add coqpp preprocessing stanza.#2054

Merged
ejgallego merged 1 commit intoocaml:masterfrom ejgallego:coq+coqppApr 12, 2019

Commits

Commits on Apr 12, 2019