diff --git a/ide.general.xml b/ide.general.xml index 55d30b7..8b40517 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -7,11 +7,11 @@ + + - -