elan icon indicating copy to clipboard operation
elan copied to clipboard
verified publisher icon leanprover

Rustup cleanup

Open Kha opened this issue 7 years ago • 0 comments

The rustup.rs source code provided a perfect starting point, but there are lots of places where we can remove or simplify code for our needs.

Kha avatar Apr 11 '18 13:04 Kha