Skip to content

Implement plugin API to get workspace folder by file URI#3718

Merged
akurinnoy merged 1 commit intoeclipse-theia:masterfrom akurinnoy:get-workspace-folderDec 6, 2018

Commits

Commits on Dec 5, 2018