genode/tool/depot
Norman Feske 17bf2564fa depot: improved args check in dependencies tool
This patch lets the dependencies tool give better feedback to the user
whenever an argument lacks the needed version information.
2017-12-21 15:01:45 +01:00
..
mk depot: move versions to subdirectory 2017-12-21 15:01:45 +01:00
build depot: move versions to subdirectory 2017-12-21 15:01:45 +01:00
create depot: move versions to subdirectory 2017-12-21 15:01:45 +01:00
dependencies depot: improved args check in dependencies tool 2017-12-21 15:01:45 +01:00
download tool/depot: download archives from web server 2017-05-31 13:16:24 +02:00
extract depot: move versions to subdirectory 2017-12-21 15:01:45 +01:00
publish depot: switch from .tgz to .tar.xz 2017-12-21 15:01:44 +01:00