mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 21:57:55 +00:00
doc/depot: fix minor typo in 'Depot structure' section
This commit is contained in:
parent
b15fb2bbaf
commit
0489f3673c
@ -228,7 +228,7 @@ subdirectory. Within this directory, there is a 'pubkey' file with the
|
||||
user's public key that is used to verify the integrity of archives downloaded
|
||||
from the user. The file 'download' specifies the download location as an URL.
|
||||
|
||||
Subsuming archives in a subdirectory that correspond to their the origin
|
||||
Subsuming archives in a subdirectory that correspond to their origin
|
||||
(user) serves two purposes. First, it provides a user-local name space for
|
||||
versioning archives. E.g., there might be two versions of a
|
||||
'nitpicker/2017-04-15' source archive, one by "genodelabs" and one by
|
||||
|
Loading…
Reference in New Issue
Block a user