diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng index 46137ec4ca..54c149dd52 100644 --- a/docs/schemas/domaincommon.rng +++ b/docs/schemas/domaincommon.rng @@ -55,6 +55,9 @@ + + + @@ -392,6 +395,30 @@ + + + + + + + + cmt + + + + + + + + + +