diff options
| author | Théo Zimmermann | 2020-03-02 14:41:11 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-02 14:41:11 +0100 |
| commit | a02f94c2daf11c772460bb0cdbacc61339da2363 (patch) | |
| tree | ceeda80094a6837fa09f763469824067b49e8e4c /Makefile.build | |
| parent | a0b92c67a1d2d45d45f0d482a3303b7416153d67 (diff) | |
| parent | a6ce0f4361db8a286f3c0e3247dc5282d0fc1cb4 (diff) | |
Merge PR #11728: [dune] [doc] Be more explicit about coqtop dependencies
Reviewed-by: Zimmi48
Diffstat (limited to 'Makefile.build')
0 files changed, 0 insertions, 0 deletions