diff options
Diffstat (limited to 'docs/schemas/domaincommon.rng')
| -rw-r--r-- | docs/schemas/domaincommon.rng | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng index afa6bbd19..75afac2e1 100644 --- a/docs/schemas/domaincommon.rng +++ b/docs/schemas/domaincommon.rng @@ -470,6 +470,14 @@ <interleave> <element name="memory"> <ref name='scaledInteger'/> + <optional> + <attribute name="dumpCore"> + <choice> + <value>on</value> + <value>off</value> + </choice> + </attribute> + </optional> </element> <optional> <element name="currentMemory"> |