Google Git
Sign in
android / platform / tools / idea / refs/tags/android-6.0.1_r32 / . / python / edu / build / pycharm_edu_launcher.properties
blob: d3554685ce3b10b04bb88449c3ab6b92f2330b29 [file] [log] [blame]
IDS_JDK_ENV_VAR=PYCHARM_JDK
IDS_JDK_ONLY=false
IDS_VM_OPTIONS=-Didea.platform.prefix=PyCharmEdu -Didea.no.jre.check=true -Didea.paths.selector=__PRODUCT_PATHS_SELECTOR__