python/edu/build/pycharm_edu_launcher.properties - platform/tools/idea - Git at Google


            
            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__
	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__