diff --git a/ide.general.xml b/ide.general.xml index 56543f7..577b279 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -1,18 +1,14 @@ - - + - - -