diff --git a/ide.general.xml b/ide.general.xml index 8efd39332cff8e9f75950aeb297e42cf55a29f81..450c60953cee1a2df4fd437e05357a52b5f2dc5d 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -11,6 +11,7 @@ +