diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-01-06 21:27:43 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-01-06 21:27:43 +0100 |
| commit | e5ef33adc831b0176f39b81ca8913108ef9c30fe (patch) | |
| tree | e63190ee4ae08e69495d01ca490767d0baed83c7 /src/Ghci.hs | |
| parent | 488b6bfdd505508527b26f171f966245fc32cf1f (diff) | |
Take the latest installed version, not the 'latest' only if available
Diffstat (limited to 'src/Ghci.hs')
0 files changed, 0 insertions, 0 deletions