diff --git a/ide.general.xml b/ide.general.xml index 4cdd5b5..ffb2da8 100644 --- a/ide.general.xml +++ b/ide.general.xml @@ -6,6 +6,7 @@ +