diff options
Diffstat (limited to 'config-model/src/main/resources/schema/content.rnc')
| -rw-r--r-- | config-model/src/main/resources/schema/content.rnc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config-model/src/main/resources/schema/content.rnc b/config-model/src/main/resources/schema/content.rnc index 9031e8128df..e75c15ea524 100644 --- a/config-model/src/main/resources/schema/content.rnc +++ b/config-model/src/main/resources/schema/content.rnc @@ -353,6 +353,9 @@ Tuning = element tuning { }? & element initialize { element threads { xsd:nonNegativeInteger }? + }? & + element background { + element threads { xsd:nonNegativeInteger }? }? }? } |