diff options
| author | Théo Zimmermann | 2019-03-04 09:46:41 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-04 09:46:41 +0100 |
| commit | 913e377f3d24274215bd7d9d37c0189b8b5eb4a6 (patch) | |
| tree | 01b7902da80ed35e0b58b54e283996ac8b0054ca /test-suite/ide | |
| parent | 53240d3248ce1fb36ab99036186eda9051fbb068 (diff) | |
| parent | 9870e1f8662923d0de1b9c2014d3b4f647a893da (diff) | |
Merge PR #9047: [dune] Shim for starting `coqtop/coqide` with minimal config.
Reviewed-by: Zimmi48
Ack-by: rgrinberg
Diffstat (limited to 'test-suite/ide')
0 files changed, 0 insertions, 0 deletions