eclipse-theia/theia
GitHub で見るadd a command to theia cli to trim unnecessary files
Open
#3,320 opened on 2018年10月30日
enhancementhelp wantedtheia-cli
説明
See discussions here: https://github.com/theia-ide/theia-apps/pull/94#issuecomment-433863851
#3,320 opened on 2018年10月30日
See discussions here: https://github.com/theia-ide/theia-apps/pull/94#issuecomment-433863851