From 13eeb1821921f3d4a25144b5016feb8e69f7a81c Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Fri, 12 Sep 2014 15:49:12 +0400
Subject: [PATCH] Delete "idea.properties"

Apparently it was committed by mistake and never used since then
---
 compiler/frontend/idea.properties | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 compiler/frontend/idea.properties

diff --git a/compiler/frontend/idea.properties b/compiler/frontend/idea.properties
deleted file mode 100644
index 943751e57c9..00000000000
--- a/compiler/frontend/idea.properties
+++ /dev/null
@@ -1 +0,0 @@
-idea.home=../../idea/src
\ No newline at end of file