eclipse-theia/theia
Vedi su GitHubadd a command to theia cli to trim unnecessary files
Open
#3320 aperta il 30 ott 2018
enhancementhelp wantedtheia-cli
Metriche repository
- Star
- (18.676 star)
- Metriche merge PR
- (Merge medio 15g 4h) (75 PR mergiate in 30 g)
Descrizione
See discussions here: https://github.com/theia-ide/theia-apps/pull/94#issuecomment-433863851