mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-11 15:33:04 +00:00
463b39fc73
Currently the report name is used implicitly as first xml node name for the report. This is inconvenient if one component wants to generate various xml reports under various names (e.g. to steer consumers/clients slightly differently) but with the same xml node tree structure. Fixes #1940 |
||
---|---|---|
.. | ||
app | ||
drivers | ||
init | ||
lib | ||
server | ||
test |