mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +00:00
parent
9204a8c260
commit
1ca2b6fab3
@ -46,7 +46,7 @@ proc _depot_archive_path_pattern { } {
|
|||||||
# Pattern to parse an versioned archive path into <user>, <type>, <name>, <version>
|
# Pattern to parse an versioned archive path into <user>, <type>, <name>, <version>
|
||||||
#
|
#
|
||||||
proc _depot_archive_versioned_path_pattern { } {
|
proc _depot_archive_versioned_path_pattern { } {
|
||||||
return {^([\w\d]+)/([\w]+)/([\w\d\-_]+)/([\w\d\-_]+)$} }
|
return {^([\w\d]+)/([\w]+)/([\w\d\-_]+)/([\w\d\-\._]+)$} }
|
||||||
|
|
||||||
|
|
||||||
#
|
#
|
||||||
|
Loading…
x
Reference in New Issue
Block a user