mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-01 00:45:29 +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.