eclipse-theia/theia
Voir sur GitHubadd a command to theia cli to trim unnecessary files
Open
#3 320 ouverte le 30 oct. 2018
enhancementhelp wantedtheia-cli
Description
See discussions here: https://github.com/theia-ide/theia-apps/pull/94#issuecomment-433863851