From 76c7806b9817118499e25b3e39db9b5efed275fe Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Tue, 15 Sep 2015 20:52:15 +0200
Subject: [PATCH] update kotlin to m13

---
 .idea/externalDependencies.xml | 2 +-
 build/download_kotlin.xml      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.idea/externalDependencies.xml b/.idea/externalDependencies.xml
index 3175a1f72809..8731c3e90e39 100644
--- a/.idea/externalDependencies.xml
+++ b/.idea/externalDependencies.xml
@@ -9,6 +9,6 @@
     <plugin id="com.intellij.properties" />
     <plugin id="com.intellij.uiDesigner" />
     <plugin id="org.intellij.groovy" />
-    <plugin id="org.jetbrains.kotlin" min-version="0.12.613" max-version="0.13.9999" />
+    <plugin id="org.jetbrains.kotlin" min-version="0.13.1511" max-version="0.13.9999" />
   </component>
 </project>
\ No newline at end of file
diff --git a/build/download_kotlin.xml b/build/download_kotlin.xml
index 4b1360bbadcc..937b11d21088 100644
--- a/build/download_kotlin.xml
+++ b/build/download_kotlin.xml
@@ -1,5 +1,5 @@
 <project name="Download Kotlin" default="extract">
-  <property name="kotlin.build.type.id" value="Kotlin_M12_Idea142branch150version"/>
+  <property name="kotlin.build.type.id" value="Kotlin_M13_Idea142branch150versionNoTests"/>
   <property name="kotlin.build.selector" value=".lastSuccessful"/>
 
   <target name="get_latest">