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 /src | |
| parent | 127840e0a237e332b1f4ab88eb63a28f810b9b6b (diff) | |
ghc-session: Simplify Cabal version checking
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions