Update gitpod config types

gitpod-io · Sep 21, 2022 · d36cde4 · d36cde4
1 parent 931eed4
commit d36cde4
Showing 1 changed file with 99 additions and 0 deletions.
diff --git a/components/gitpod-protocol/go/gitpod-config-types.go b/components/gitpod-protocol/go/gitpod-config-types.go