diff --git a/options.xml b/options.xml index 1cdaac6f6..e3748870e 100644 --- a/options.xml +++ b/options.xml @@ -58,6 +58,11 @@ + + + + + + + + + + + +
@@ -591,6 +620,12 @@ + + + + + + + + + + + + + + - -
strings/debugging-options + + + +