diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2017-11-30 10:48:22 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-01-18 14:10:26 +0100 |
| commit | d4676fb36b96f811cbfa27fc43ce7eddaf9c38f6 (patch) | |
| tree | 6e38c75a601deaac80af51911d707aba47b16956 /scripts/ci/steps/00-config.sh | |
| parent | e23f9cc73b7216063c1b014e99a848871897e142 (diff) | |
Try to fix GHC 7.4 build
Diffstat (limited to 'scripts/ci/steps/00-config.sh')
0 files changed, 0 insertions, 0 deletions