diff --git a/dev-tools/idea/.idea/compiler.xml b/dev-tools/idea/.idea/compiler.xml index 9106e68d83e..e71c5af4db3 100644 --- a/dev-tools/idea/.idea/compiler.xml +++ b/dev-tools/idea/.idea/compiler.xml @@ -9,6 +9,7 @@ +