mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 01:42:17 +07:00
Leonid Shalupovandintellij-monorepo-bot
749b6be61f
GitOrigin-RevId: e5e5d3dbd989bbdc23c32624e34329f9439636e4
11 lines
364 B
XML
11 lines
364 B
XML
<!-- Using ant is obsolete, please call installers.cmd or plugin.cmd directly -->
|
|
<project name="PyCharm Community Edition" default="build">
|
|
<target name="build">
|
|
<exec executable="${basedir}/installers.cmd" failonerror="true" />
|
|
</target>
|
|
|
|
<target name="plugin">
|
|
<exec executable="${basedir}/plugin.cmd" failonerror="true" />
|
|
</target>
|
|
</project>
|