add a command to theia cli to trim unnecessary files #3320
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
help wanted
issues meant to be picked up, require help
theia-cli
issues related to the theia-cli
See discussions here: theia-ide/theia-apps#94 (comment)
The text was updated successfully, but these errors were encountered: