diff --git a/ide.general.xml b/ide.general.xml index 811320e..2df9f62 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -7,9 +7,9 @@