genode/repos/gems/recipes
Martin Stein d5e3f73884 file_vault: do not consider ui_config version
The version in ui_report and ui_config were merely used for making test output
more readable. However, there are other ways to achieve this goal.

Ref #5190
2024-04-25 15:43:02 +02:00
..
api depot: update recipe hashes 2024-04-12 15:08:01 +02:00
pkg file_vault: do not consider ui_config version 2024-04-25 15:43:02 +02:00
raw depot: update recipe hashes 2024-04-19 08:54:22 +02:00
src file_vault_gui: dialog-based file_vault front end 2024-04-25 15:43:02 +02:00