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