diff --git a/ide.general.xml b/ide.general.xml index 46d0383..0d4cc8e 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -3,7 +3,6 @@