diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index 446f6dc268..41645f5ce9 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -169,6 +169,7 @@