eclipse-theia/theia
Auf GitHub ansehenadd a command to theia cli to trim unnecessary files
Open
#3.320 geöffnet am 30. Okt. 2018
enhancementhelp wantedtheia-cli
Beschreibung
See discussions here: https://github.com/theia-ide/theia-apps/pull/94#issuecomment-433863851