Omit TEST=T10697_decided_3 WAY=ghci
authorThomas Miedema <thomasmiedema@gmail.com>
Fri, 1 Jan 2016 11:46:37 +0000 (12:46 +0100)
committerThomas Miedema <thomasmiedema@gmail.com>
Sun, 3 Jan 2016 18:40:03 +0000 (19:40 +0100)
commitd935d20988af7f3109b73d7c51a0e4a6b12b926c
treee67b8a668d1faaf8eff092417d7e2e94e88b85e6
parent07d127ad23c7e6056471d218adcc8ec5119fac6c
Omit TEST=T10697_decided_3 WAY=ghci
testsuite/tests/th/all.T