diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index 6122ffc7a9..f30a44ade3 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -143,7 +143,15 @@