diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-09-25 13:44:40 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2017-09-25 13:44:40 +0200 |
commit | 06f2ac654e29335e522b02fb53369d774039bad6 (patch) | |
tree | 15cc88c4a78904e5af44be97038a5b64079347ba /scripts/ci/steps/05-print-packages.sh | |
parent | e1e1a3aebb40459cd5db30c68ae4a995b451c9e0 (diff) |
Fix displayExceoption not being available on older GHCs
Diffstat (limited to 'scripts/ci/steps/05-print-packages.sh')
0 files changed, 0 insertions, 0 deletions