Norman Feske f1b46c3205 Move depot keys to repos/gems/sculpt/depot ... This change keeps the version-controlled 'pubkey' and 'download' files separate from files generated via depot/create or downloaded via depot/download. So one can remove the entire depot/ directory without interfering with git. Furthermore, depot keys can now be hosted in supplemental repositories independent from Genode's main repository. Fixes #4364		2022-01-19 12:35:49 +01:00
..
download	Move depot keys to repos/gems/sculpt/depot	2022-01-19 12:35:49 +01:00
pubkey	Move depot keys to repos/gems/sculpt/depot	2022-01-19 12:35:49 +01:00