diff --git a/docs/schemas/domain.rng b/docs/schemas/domain.rng index f42658751f..dd729c0dff 100644 --- a/docs/schemas/domain.rng +++ b/docs/schemas/domain.rng @@ -907,6 +907,9 @@ + + +