fix: redundant prompt on windows in v1.1.1 - Githubissues

leanprover / elan

The Lean version manager

Apache License 2.0

316 stars 35 forks source link

fix: redundant prompt on windows in v1.1.1 #48

Closed lovettchris closed 3 years ago

lovettchris commented 3 years ago

fix: while testing v1.1.1 I found another redundant prompt on windows