mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
fix idea home path
This commit is contained in:
@@ -1,5 +1,5 @@
|
||||
<project name="Python IDE Release Build Bootstrap" default="main">
|
||||
<property name="project.home" value="${basedir}/../../.."/>
|
||||
<property name="project.home" value="${basedir}/../.."/>
|
||||
<property name="out.dir" value="${project.home}/out/python"/>
|
||||
<property name="idea.dir" value="${out.dir}/idea"/>
|
||||
|
||||
|
||||
Reference in New Issue
Block a user