Fix capitalization of GitHub org

This commit is contained in:
ChaseKnowlden
2020-09-15 19:13:49 -04:00
committed by Martin Aeschlimann
parent 66c63c5d70
commit e8760a5d6c
186 changed files with 386 additions and 386 deletions

View File

@@ -58,7 +58,7 @@ export class ExtHostCommands implements ExtHostCommandsShape {
{
processArgument(arg) {
return cloneAndChange(arg, function (obj) {
// Reverse of https://github.com/Microsoft/vscode/blob/1f28c5fc681f4c01226460b6d1c7e91b8acb4a5b/src/vs/workbench/api/node/extHostCommands.ts#L112-L127
// Reverse of https://github.com/microsoft/vscode/blob/1f28c5fc681f4c01226460b6d1c7e91b8acb4a5b/src/vs/workbench/api/node/extHostCommands.ts#L112-L127
if (Range.isIRange(obj)) {
return extHostTypeConverter.Range.to(obj);
}