From d367a4f4bd8e47471b8674828933b30a0e2337fb Mon Sep 17 00:00:00 2001
From: Andrey Breslav <Andrey.Breslav@jetbrains.com>
Date: Wed, 29 Dec 2010 15:24:26 +0300
Subject: [PATCH] Removing idea.properties from the repository

---
 idea/idea.properties | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 idea/idea.properties

diff --git a/idea/idea.properties b/idea/idea.properties
deleted file mode 100644
index 4249c9d9e25..00000000000
--- a/idea/idea.properties
+++ /dev/null
@@ -1 +0,0 @@
-idea.home=/home/user/work/idea.src
\ No newline at end of file