diff options
| author | Théo Zimmermann | 2019-04-26 14:12:11 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-26 14:12:11 +0200 |
| commit | 198bf0a3cf310ef37a8bd561ad6fa5f67dfc6ebd (patch) | |
| tree | e6d31b06b6381b74fa9f288289c4cd3aa48c78db /Makefile.doc | |
| parent | 025cb57a6f69c6a9c65e732656018d00d114be5c (diff) | |
| parent | ddece4b6c28b568984c23bdae74ef62321781c2f (diff) | |
Merge PR #9981: [dune] Build coqc.byte executable.
Reviewed-by: Zimmi48
Ack-by: rgrinberg
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions