Drop other references to ideaSdk

This commit is contained in:
Ilya Chernikov
2017-11-08 16:54:00 +01:00
committed by Vyacheslav Gerasimov
parent 9766508512
commit 8bc95295eb
3 changed files with 1 additions and 12 deletions
-1
View File
@@ -14,7 +14,6 @@
<property name="bootstrap.reflect" location="${dependencies.dir}/bootstrap-compiler/Kotlin/kotlinc/lib/kotlin-reflect.jar"/>
<target name="force-enable-kotlin-plugin">
<property name="disable_plugins.file.path" location="${basedir}/../ideaSDK/config-idea/disabled_plugins.txt"/>
<available property="disable_plugins.found" file="${disable_plugins.file.path}"/>
<sequential if:set="disable_plugins.found">