Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [coqpp] Move to its own directory. | Emilio Jesus Gallego Arias | 2018-07-11 |
Coqpp has nothing to do with `grammar`, we thus place it in its own directory, which will prove convenient in more modular build systems. Note that we add `coqpp` to the list of global includes, we could have indeed added some extra rules, but IMHO not worth it as hopefully proper containment will be soon checked by Dune. |