diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-10-13 23:38:31 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2018-10-26 04:33:07 +0200 |
commit | fac92997d71efdf33f0843e22da61c105ece2594 (patch) | |
tree | 0d862a2fc3586751b27bd9bee4264f860d09041f /scripts/ci/print-packages.sh | |
parent | aee8bd2da76f932eb7df244008bfed5949dadbc4 (diff) |
Drop GHC<7.8 support
Diffstat (limited to 'scripts/ci/print-packages.sh')
0 files changed, 0 insertions, 0 deletions