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