diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index ba826e39cf..5f28853c98 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -143,7 +143,14 @@