GitHub repository: vhemery/theia-tree-editor
Description: theia-tree-editor