diff --git a/ide.general.xml b/ide.general.xml index 26a2fb2..b1e8aec 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -5,12 +5,7 @@