Skip to content
Snippets Groups Projects
Commit c1cc5200 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

sandbox init: warn instead of dying if there's a cabal-dev sandbox. 

Fixes #1472.
parent 03d12e64
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment