diff options
| author | Théo Zimmermann | 2018-09-28 09:48:04 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-28 09:48:04 +0200 |
| commit | c7907b6f6e88f9f6a07ba4d0807782b8ffc430d7 (patch) | |
| tree | 1f1e56745b6a13b7961a4181e52bd3d631e4263e /dev/tools | |
| parent | cf3e5a8e02966c9fe80771c531d9e7d24453733a (diff) | |
| parent | 490c048b424ab87cdddfd01d066c1eb0968d49c8 (diff) | |
Merge PR #8568: [dune] [coqide] Turn CoqIDE into a library.
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions