From 8ce9f6026e8540b07f0f1cf49e650b455ecb76b5 Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Wed, 18 Sep 2013 18:25:18 +0200 Subject: [PATCH] fix prefix in launcher --- python/build/pycharm_community_launcher.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/build/pycharm_community_launcher.properties b/python/build/pycharm_community_launcher.properties index 45401043671d..409b83d09f3b 100644 --- a/python/build/pycharm_community_launcher.properties +++ b/python/build/pycharm_community_launcher.properties @@ -1,3 +1,3 @@ IDS_JDK_ENV_VAR=PYCHARM_JDK IDS_JDK_ONLY=false -IDS_VM_OPTIONS=-Didea.platform.prefix=PythonCore -Didea.no.jre.check=true -Didea.paths.selector=__PRODUCT_PATHS_SELECTOR__ +IDS_VM_OPTIONS=-Didea.platform.prefix=PyCharmCore -Didea.no.jre.check=true -Didea.paths.selector=__PRODUCT_PATHS_SELECTOR__