diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2007-05-04 13:18:32 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2007-05-04 13:18:32 +0000 |
| commit | 124c84a7b764273358c6700c02ea8dc21c3bb9c3 (patch) | |
| tree | 8e191ab08433dbb0a135d28403901d6916758a7b /man | |
| parent | 818ce8749aeaefcf874161b25469ab92716eaeab (diff) | |
| download | urpmi-124c84a7b764273358c6700c02ea8dc21c3bb9c3.tar urpmi-124c84a7b764273358c6700c02ea8dc21c3bb9c3.tar.gz urpmi-124c84a7b764273358c6700c02ea8dc21c3bb9c3.tar.bz2 urpmi-124c84a7b764273358c6700c02ea8dc21c3bb9c3.tar.xz urpmi-124c84a7b764273358c6700c02ea8dc21c3bb9c3.zip | |
- urpmi.addmedia
o with --distrib, don't use previous media's pubkey if a pubkey is missing
(eg: use pubkey_main for media "Main Updates" when pubkey_main_updates is missing)
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions