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

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