ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-20 08:03:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
d1e7ca23e2f99a935b3d06e4581ade07a0a4a80f
genode/repos/base/xsd
History
Martin Stein 99b8e062d7 */config.xsd: fix session-policy declarations 
Issue #2908
2018-08-28 16:48:47 +02:00
..
base_types.xsd
*/config.xsd: fix session-policy declarations
2018-08-28 16:48:47 +02:00