mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +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 |
||
|---|---|---|
| .. | ||
| alex-ab | ||
| blarson | ||
| chelmuth | ||
| cnuke | ||
| cproc | ||
| genodelabs | ||
| jschlatow | ||
| mstein | ||
| nfeske | ||
| rite | ||
| skalk | ||
| ssumpf | ||
| trimpim | ||