Skip to content

Transpile theia to ES2017#9436

Merged
paul-marechal merged 1 commit intoeclipse-theia:masterfrom eclipsesource:es6-migrationAug 25, 2021

Commits

Commits on Aug 25, 2021