Uses of Class
io.github.cdklabs.projen.GitpodOptions.Jsii$Proxy

No usage of io.github.cdklabs.projen.GitpodOptions.Jsii$Proxy