diff --git a/ide.general.xml b/ide.general.xml index 26b901b..1ba0475 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -3,4 +3,11 @@