diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-10-25 18:05:18 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2017-10-25 18:05:18 +0200 |
commit | b6ebb3588358ee1bbd4b2cc114aa6650d14baaff (patch) | |
tree | 2e6611094399e67b5cf362ae1c705a0c0048dc65 /scripts/ci/steps/40-test.sh | |
parent | ba7707ad2b78b2e0438b1f1267b98249b41e0002 (diff) |
Fix compilation error on GHC 7.{4,6,8}
Diffstat (limited to 'scripts/ci/steps/40-test.sh')
0 files changed, 0 insertions, 0 deletions