diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index b3ec20bbe1..0b9bd47cec 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -143,7 +143,16 @@