Google Git
Sign in
android / platform / tools / idea / refs/heads/main / . / python / build / pycharm_community_launcher.properties
blob: 409b83d09f3b0a12d0792a4b70baec695146b5ca [file] [log] [blame]
IDS_JDK_ENV_VAR=PYCHARM_JDK
IDS_JDK_ONLY=false
IDS_VM_OPTIONS=-Didea.platform.prefix=PyCharmCore -Didea.no.jre.check=true -Didea.paths.selector=__PRODUCT_PATHS_SELECTOR__