xml_schemas/resources
2019-10-29 13:31:35 +01:00
..
schema IssueID #937: made many more elements and attributes optional 2019-10-29 13:31:35 +01:00