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