diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index 68408ef4c9..4a7a5c9028 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -176,6 +176,7 @@ +