https://pantsbuild.org/ logo
#development
Title
# development
h

happy-kitchen-89482

01/06/2019, 9:38 PM
Oh good point, those symlinks point into
rustup
which we delete