diff --git a/docs/schemas/domain.rng b/docs/schemas/domain.rng index 566b11753c..7e00e7fe9c 100644 --- a/docs/schemas/domain.rng +++ b/docs/schemas/domain.rng @@ -385,6 +385,9 @@ + + +