diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-08-30 13:47:31 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-30 13:47:31 +0200 |
commit | bdaf7032912feabf5ee97af33bf32e4359ad2d25 (patch) | |
tree | edc516f6a3cafebc8c924e385b012b32af56de6c /test-suite/coq-makefile/coqdoc1/run.sh | |
parent | 21462199ad335f44aa74f3746f805b2694eba650 (diff) | |
parent | e581d018bfeaec2ffdf8697950eede5ce4282716 (diff) |
Merge PR #998: Avoid running interactive tests on Windows.
Diffstat (limited to 'test-suite/coq-makefile/coqdoc1/run.sh')
0 files changed, 0 insertions, 0 deletions