diff options
| author | Vincent Laporte | 2019-04-02 13:32:11 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-15 12:17:41 +0000 |
| commit | 4c94ab5c4ba29334fa0d7586e68d1074c0c7a487 (patch) | |
| tree | f5fe50c386fad7f780d26c7d90ef653befbb5840 /dev | |
| parent | e288b83845854ac79df0e2c1101d4fb2c5940f88 (diff) | |
[CI/Azure/macOS] Build CoqIDE
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions