Skip to content

Fix Theia test with command terminal name.#11973

Closed
AndrienkoAleksandr wants to merge 1 commit intomasterfrom fixTheiaTestWithTerminalCommandName
+1-1

Commits

Commits on Nov 16, 2018