diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-07-30 16:37:01 +0200 |
|---|---|---|
| committer | Daniel Gröber (dxld) <dxld@darkboxed.org> | 2019-09-17 17:48:26 +0200 |
| commit | 6b847c923ec62d18e99a30858efc3506cee32dca (patch) | |
| tree | 174e8f79211bc2c6aba1f642a464f73425ee4d19 /scripts/ci | |
| parent | f29e10402d7cba68264f06d8644712e189e17142 (diff) | |
ghc-session: Add GHC version match check
Diffstat (limited to 'scripts/ci')
0 files changed, 0 insertions, 0 deletions