Skip to content

Disable git initialize repository when no open workspace#7492

Merged
kittaakos merged 1 commit intoeclipse-theia:masterfrom umcconnell:fix-git-no-workspaceApr 4, 2020

Commits

Commits on Apr 2, 2020