diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2017-11-30 10:21:08 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-01-18 14:10:26 +0100 |
| commit | e23f9cc73b7216063c1b014e99a848871897e142 (patch) | |
| tree | c020c826ec94c3f0671081d347e27d1019fbeb0a /scripts/ci/steps/00-config.sh | |
| parent | 3325e37439aed70ad5b0bd23d5a1e098d4a6ca7f (diff) | |
Use defaultLogAction for GHC 7.4
Diffstat (limited to 'scripts/ci/steps/00-config.sh')
0 files changed, 0 insertions, 0 deletions