Document how to customize Theia build - Githubissues

eclipse-theia / theia-website

Theia's Website

https://theia-ide.org/

Other

34 stars 72 forks source link

Document how to customize Theia build #17

Open akosyakov opened 5 years ago

akosyakov commented 5 years ago

Motivated by https://github.com/theia-ide/theia/pull/3522 and https://github.com/theia-ide/theia/pull/3398

svenefftinge commented 5 years ago

https://github.com/gitpod-io/gitpod-docs/issues

akosyakov commented 5 years ago

An approach is here: https://github.com/theia-ide/theia/issues/766#issuecomment-341720642