ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-03 12:34:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
6,349 Commits 2 Branches 70 Tags 87 MiB
3ea960932e
Commit Graph

2 Commits

Author SHA1 Message Date
Alexander Boettcher
0ac6f6159e tool: add unscoped_label to xml schema 2017-11-06 13:57:19 +01:00
Alexander Boettcher
be753ee863 tool: add genode xml schema to xmllint check 
Fixes #2513
 2017-10-05 17:40:03 +02:00