genode/repos/base/xsd
2018-11-16 14:37:19 +01:00
..
base_types.xsd base_types.xsd: allow session labels of length 0 2018-11-16 14:37:19 +01:00