Update gitpod config types

gitpod-io · Sep 20, 2022 · 971f60e · 971f60e
1 parent f1ce083
commit 971f60e
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