diff --git a/ide.general.xml b/ide.general.xml index 83dc4a8c04a52d0459e2c3162c5138d5fed190d0..8efd39332cff8e9f75950aeb297e42cf55a29f81 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -3,7 +3,7 @@ - +