src/shell/manifest.rc - third_party/github.com/leanprover/lean4 - Git at Google


          
            
            1 /* CREATEPROCESS_MANIFEST_RESOURCE_ID */ 24 /* RT_MANIFEST */ "app.manifest"