diff --git a/ide.general.xml b/ide.general.xml index 84a74fe..0a8c8b0 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -1,7 +1,6 @@