version 1.793, 2023/04/02 03:16:28
|
version 1.794, 2024/07/01 20:22:34
|
Line 3848 sub version_portfiles {
|
Line 3848 sub version_portfiles {
|
$$record{$key} = join(',',@versioned_portfiles); |
$$record{$key} = join(',',@versioned_portfiles); |
push(@returned_keys,$key); |
push(@returned_keys,$key); |
} |
} |
} |
} |
return (@returned_keys); |
return (@returned_keys); |
} |
} |
|
|
#-------------------------------------------------------------------------------------- |
#-------------------------------------------------------------------------------------- |