diff --git a/ide.general.xml b/ide.general.xml index 555fe54..112515e 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -4,16 +4,9 @@