diff options
author | Alex Biehl <alexbiehl@gmail.com> | 2017-04-13 07:27:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-13 07:27:18 +0200 |
commit | 99ec96e57ea6b002394c923201d46a67ecfb8e16 (patch) | |
tree | f332a35522ef07b5c583676ed95c782e8de22b0f /html-test/ref | |
parent | 3b64e93ec1811bb5741550a4956ea5f28be24443 (diff) |
Disable doctest with ghc-8.3
Currently doctest doesn't support ghc-head
Diffstat (limited to 'html-test/ref')
0 files changed, 0 insertions, 0 deletions