genode/repos/base/recipes/src
Norman Feske 7bb8e332a9 depot: adjust base recipe to removed headers
This patch updates the recipes for the base-<kernel> archives to the
recently removed os/config.h and os/timeout.h headers.
2017-05-31 13:16:25 +02:00
..
base_content.inc depot: adjust base recipe to removed headers 2017-05-31 13:16:25 +02:00
content.inc Depot-archive recipes 2017-05-31 13:15:56 +02:00