mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
The tools.conf in base-fiasco/etc was obsolete and must therefore not packaged. This commit removes sporadic recipe hash changes due to missing or existent etc/tools.conf.