diff options
Diffstat (limited to 'schema')
| -rw-r--r-- | schema/interface_definition.rng | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/schema/interface_definition.rng b/schema/interface_definition.rng index 5a0a48845..d1bd9a708 100644 --- a/schema/interface_definition.rng +++ b/schema/interface_definition.rng @@ -169,11 +169,6 @@ </element> </optional> <optional> - <element name="type"> - <text/> - </element> - </optional> - <optional> <!-- These are meaningful only for tag nodes --> <group> <element name="keepChildOrder"> |