diff --git a/ide.general.xml b/ide.general.xml index 445a3fa..bd96877 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -1,10 +1,9 @@ + @@ -12,6 +11,7 @@ +