diff --git a/misc/definition_element.dtd b/misc/definition_element.dtd index e8889afd3..5f32589e3 100644 --- a/misc/definition_element.dtd +++ b/misc/definition_element.dtd @@ -13,17 +13,17 @@ - + - - + - - + - - + - - +