From 07378a74d34b316d29606b6b5ea115121abb53b1 Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Mon, 16 Jun 2014 18:33:16 +0400
Subject: [PATCH] Delete outdated directory creation in build.xml

---
 build.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build.xml b/build.xml
index 2e7d6e393da..e981cd215a2 100644
--- a/build.xml
+++ b/build.xml
@@ -125,7 +125,6 @@
     <target name="init">
         <mkdir dir="${kotlin-home}"/>
         <mkdir dir="${kotlin-home}/lib"/>
-        <mkdir dir="${kotlin-home}/lib/tools"/>
     </target>
 
     <target name="prepareDist">