eclipse-theia/theia

add a command to theia cli to trim unnecessary files

Open

#3,320 opened on Oct 30, 2018

View on GitHub
 (3 comments) (0 reactions) (0 assignees)TypeScript (2,478 forks)batch import
enhancementhelp wantedtheia-cli

Repository metrics

Stars
 (18,676 stars)
PR merge metrics
 (Avg merge 15d 4h) (75 merged PRs in 30d)

Description

Contributor guide