diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2017-08-19 22:37:24 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2017-08-19 22:37:24 +0200 |
| commit | aee2ca4bd9b94201396c3c546dba049ce8876181 (patch) | |
| tree | d88a2f9b0fb05599dfe0928a5bea758e236bf9f2 /scripts | |
| parent | 79ed2e65f03a28883bc0f3e14f488a6d786c4537 (diff) | |
gitlab-ci: Build with GHC 8.2
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions