mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge branch 'master' of git.labs.intellij.net:idea/ultimate
This commit is contained in:
@@ -5,7 +5,7 @@ import org.jetbrains.jps.Jps
|
||||
includeTargets << new File("${guessHome(this as Script)}/community/build/scripts/utils.gant")
|
||||
includeTool << Jps
|
||||
|
||||
requireProperty("buildNumber", requireProperty("build.number", "98.SNAPSHOT"))
|
||||
requireProperty("buildNumber", requireProperty("build.number", "100.SNAPSHOT"))
|
||||
|
||||
setProperty("ch", "$home/community")
|
||||
setProperty("dryRun", false)
|
||||
|
||||
@@ -4,7 +4,7 @@
|
||||
|
||||
<id>Pythonid</id>
|
||||
<name>Python</name>
|
||||
<idea-version since-build="98.402" until-build="99.0"/>
|
||||
<idea-version since-build="100.0" until-build="101.0"/>
|
||||
<description>Smart editing for Python scripts</description>
|
||||
<version>2.6.4</version>
|
||||
<depends>com.intellij.modules.ultimate</depends>
|
||||
|
||||
Reference in New Issue
Block a user