diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-09-16 21:23:23 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2019-09-29 02:16:25 +0200 |
| commit | 7ddd09a4862c98dd7115e78d762511dbe1d26e68 (patch) | |
| tree | c5668fc096d87a191f13373f8d1be926427e495e /.gitignore | |
| parent | ff39baac5b6572916d68d2979079da588a257f52 (diff) | |
ghc-session: Remove "stack not installed by CI scripts" error
We include the correct stack version in the CI images now and since the
relevant stack version is now released it is easy to install for devs.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions