diff options
| author | Maxime Dénès | 2017-07-13 16:50:10 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2017-07-20 15:40:48 +0200 |
| commit | da2d3108f126b3ff7bface118319bfa43829a895 (patch) | |
| tree | da5dd855eba6ddbb0010b37d3a03f36be61e7b2d /API | |
| parent | 52efb4dfb9810bbb749185f24916a43331abc817 (diff) | |
In fake_ide, call coqtop.exe instead of coqtop on Win32.
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions