diff --git a/ide.general.xml b/ide.general.xml index 9fcd7a7..a278892 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -27,6 +27,7 @@ +