diff --git a/dev-tools/idea/.idea/compiler.xml b/dev-tools/idea/.idea/compiler.xml index 6bfa6f41c90..261342df476 100644 --- a/dev-tools/idea/.idea/compiler.xml +++ b/dev-tools/idea/.idea/compiler.xml @@ -10,7 +10,8 @@ - + + diff --git a/dev-tools/idea/.idea/workspace.xml b/dev-tools/idea/.idea/workspace.xml index 7e486de361b..e0bdac5c599 100644 --- a/dev-tools/idea/.idea/workspace.xml +++ b/dev-tools/idea/.idea/workspace.xml @@ -89,7 +89,7 @@ - +