path: root/python/edu/build/pycharm_edu_launcher.properties

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__