Uses of Interface
io.github.cdklabs.projen.GitpodOptions

Packages that use GitpodOptions

Package	Description
io.github.cdklabs.projen

Uses of GitpodOptions in io.github.cdklabs.projen

Classes in io.github.cdklabs.projen that implement GitpodOptions

Modifier and Type	Class	Description
static class	GitpodOptions.Jsii$Proxy	An implementation for GitpodOptions

Methods in io.github.cdklabs.projen that return GitpodOptions

Modifier and Type	Method	Description
GitpodOptions	GitpodOptions.Builder.build()	Builds the configured instance.

Constructors in io.github.cdklabs.projen with parameters of type GitpodOptions

Constructor	Description
Gitpod(Project project, GitpodOptions options)