genode/repos/base/xsd
Martin Stein 5e8c53f61c base_types.xsd: allow session labels of length 0 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