diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-07-03 16:00:22 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-07-10 20:25:10 +0200 |
commit | 475a3a6e48a9d5587be5281e5b2206f7c7c8946b (patch) | |
tree | cbc93a20b8e8429061703ec09c9459d201514889 /dev | |
parent | b4572185522cd21e7e4e1cf59095ae66d0da0be1 (diff) |
Compile coqpp inside the bin/ folder and make it available after installation.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions