allow building locally as well as with docker#467
Merged
pietroalbini merged 4 commits intorust-lang:masterfrom Nov 5, 2019
Merged
allow building locally as well as with docker#467pietroalbini merged 4 commits intorust-lang:masterfrom
pietroalbini merged 4 commits intorust-lang:masterfrom