diff --git a/ide.general.xml b/ide.general.xml index 1ba0475..3c61336 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -3,6 +3,9 @@