mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-03 05:09:39 +00:00
b0abfc2dcd
Since the <query> node results in the generation of a "blueprint" report, it should better be named <blueprint>. This also clears the way for adding further query types such as <dependencies>, following the same pattern of generating a report of the corresponding query name.