diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2008-03-31 09:32:07 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2008-03-31 09:32:07 +0000 |
| commit | b1c3e60766f05f8adec70fb1c4c920e5bae395b0 (patch) | |
| tree | 864c314a7e96e0abebb1d2e2ea4c58dc5d44cbe0 /urpm/util.pm | |
| parent | 06aed9d8492765d14ee2a9972aba749547cd1671 (diff) | |
| download | urpmi-b1c3e60766f05f8adec70fb1c4c920e5bae395b0.tar urpmi-b1c3e60766f05f8adec70fb1c4c920e5bae395b0.tar.gz urpmi-b1c3e60766f05f8adec70fb1c4c920e5bae395b0.tar.bz2 urpmi-b1c3e60766f05f8adec70fb1c4c920e5bae395b0.tar.xz urpmi-b1c3e60766f05f8adec70fb1c4c920e5bae395b0.zip | |
- urpmi.addmedia:
o --mirrorlist: if the retrieved media.cfg is broken, try another mirror
(#39591, it also workarounds #39592)
Diffstat (limited to 'urpm/util.pm')
0 files changed, 0 insertions, 0 deletions