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 /doc/Makefile | |
| parent | 3b64e93ec1811bb5741550a4956ea5f28be24443 (diff) | |
Disable doctest with ghc-8.3
Currently doctest doesn't support ghc-head
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions