diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2019-06-18 00:46:05 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-06-19 01:12:33 +0200 |
commit | c3c7a2cff26ab6f2828bc53366c8bf54f9d0ec3c (patch) | |
tree | b86f3f97b61d8a3f6988dc9f8cb8be714e88d947 /scripts/ci/steps | |
parent | 127840e0a237e332b1f4ab88eb63a28f810b9b6b (diff) |
ghc-session: Simplify Cabal version checking
Diffstat (limited to 'scripts/ci/steps')
0 files changed, 0 insertions, 0 deletions