ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 15:56:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7ba6297988
genode/repos/os/recipes
History
Norman Feske 5641ebcd1b depot_query: 'binary' and 'config' as attributes 
By specifying the 'config' of a '<runtime>' as an attribute, we can
distinguish the case where the config is obtained from a ROM session
from the case where the config is specified inline as a '<config>' node.
2018-02-09 13:34:15 +01:00
..
api depot: update recipe hashes 2018-01-17 12:14:44 +01:00
pkg depot_query: 'binary' and 'config' as attributes 2018-02-09 13:34:15 +01:00
raw depot: update recipe hashes 2017-12-21 15:01:56 +01:00
src depot: update recipe hashes 2018-01-17 12:14:44 +01:00