diff options
| author | Vincent Laporte | 2019-04-04 12:01:12 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-15 12:17:41 +0000 |
| commit | e288b83845854ac79df0e2c1101d4fb2c5940f88 (patch) | |
| tree | 91555f6fb1022c885efa51ac81da67cb927e83b4 /dev | |
| parent | 9cfc7511daac15d7e5700f6cb0419ca6b67543c9 (diff) | |
[CoqIDE] Fix build system for macOS
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions