diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index 9661d3c094..6c6eb69e68 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -175,6 +175,7 @@ +