From b09e72746220838f97ed56662d3de6f5dd32b809 Mon Sep 17 00:00:00 2001
From: Dmitry Petrov <Dmitry.Petrov@jetbrains.com>
Date: Fri, 2 Oct 2015 14:39:37 +0300
Subject: [PATCH] Update ideaVersion to 142.5239.7.

---
 update_dependencies.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_dependencies.xml b/update_dependencies.xml
index 873fa1c6448..61d85726efb 100644
--- a/update_dependencies.xml
+++ b/update_dependencies.xml
@@ -1,7 +1,7 @@
 <project name="Update Dependencies" default="update" xmlns:if="ant:if" xmlns:unless="ant:unless">
 
     <property name="automerge_dummy" value="This property is used to trick git merge. Do not delete empty lines around."/>
-    <property name="ideaVersion" value="142.5047.6"/>
+    <property name="ideaVersion" value="142.5239.7"/>
 
 
     <property name="kotlin.bootstrap.branch" value=""/>