diff --git a/ide.general.xml b/ide.general.xml index 8b40517..3422d5e 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -11,6 +11,7 @@ +