diff options
author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2006-05-29 13:26:08 +0000 |
---|---|---|
committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2006-05-29 13:26:08 +0000 |
commit | b8812baad9cca68f3b50ddb9a5f484a2ac73de06 (patch) | |
tree | a1ba40e37e5cef1a7dc1031e28b9be441ccdad16 /pod/urpmi.8.pod | |
parent | b9b5c5206c998a95ea7e379c9d57977b8534bd0c (diff) | |
download | urpmi-b8812baad9cca68f3b50ddb9a5f484a2ac73de06.tar urpmi-b8812baad9cca68f3b50ddb9a5f484a2ac73de06.tar.gz urpmi-b8812baad9cca68f3b50ddb9a5f484a2ac73de06.tar.bz2 urpmi-b8812baad9cca68f3b50ddb9a5f484a2ac73de06.tar.xz urpmi-b8812baad9cca68f3b50ddb9a5f484a2ac73de06.zip |
Patch by Vincent Panel from bug #22000: use global proxy settings when
adding a media; load it if necessary to avoid overwriting it.
Diffstat (limited to 'pod/urpmi.8.pod')
0 files changed, 0 insertions, 0 deletions