mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
This patch lets the dependencies tool give better feedback to the user whenever an argument lacks the needed version information.
This patch lets the dependencies tool give better feedback to the user whenever an argument lacks the needed version information.