genode/repos/gems/src/app/depot_deploy
Josef Söntgen cd7cb5fbf4 depot_deploy: update blueprint pkg path
We need to update the blueprint pkg path as well in case the start node
is changed. Otherwise the query tool will keep using the initially
configured pkg path.
2018-02-28 11:05:05 +01:00
..
child.h depot_deploy: update blueprint pkg path 2018-02-28 11:05:05 +01:00
main.cc depot_deploy: graceful handling of missing content 2018-02-16 08:42:29 +01:00
target.mk depot_deploy: support multiple runtimes 2018-02-14 20:41:03 +01:00