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