Skip to content

RFC: Don't bail current_project() at Git repos#29108

Merged
StefanKarpinski merged 1 commit intoJuliaLang:masterfrom mortenpi:mp/fix-current_projectSep 11, 2018

Commits

Commits on Sep 9, 2018