Skip to content

[helm] Set the Theia version as env var in server#4731

Merged
corneliusludmann merged 1 commit intomainfrom corneliusludmann/gitpod-tries-to-4679Jul 7, 2021

Commits

Commits on Jul 7, 2021