mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 17:18:53 +00:00
f1b46c3205
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 |
||
|---|---|---|
| .. | ||
| build_bin_archive | ||
| categorize_args.inc | ||
| common.inc | ||
| content_env_missing_ports.mk | ||
| content_env.mk | ||
| dependencies.inc | ||
| downloader | ||
| extract_api_archive | ||
| extract_content.inc | ||
| extract_pkg_archive | ||
| extract_post_dependencies.inc | ||
| extract_pre_dependencies.inc | ||
| extract_raw_archive | ||
| extract_src_archive | ||
| extract.inc | ||
| front_end.inc | ||
| gpg.inc | ||