diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2008-02-29 15:47:22 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2008-02-29 15:47:22 +0000 |
| commit | 2527faf1b685fb32715f7ee02c66d96d754d8052 (patch) | |
| tree | a56e2126e2beabe65cd19ebc03733ce343a81efe /urpmi.removemedia | |
| parent | 026343726ab5c568b2581ccb03386e95c3d4fb43 (diff) | |
| download | urpmi-2527faf1b685fb32715f7ee02c66d96d754d8052.tar urpmi-2527faf1b685fb32715f7ee02c66d96d754d8052.tar.gz urpmi-2527faf1b685fb32715f7ee02c66d96d754d8052.tar.bz2 urpmi-2527faf1b685fb32715f7ee02c66d96d754d8052.tar.xz urpmi-2527faf1b685fb32715f7ee02c66d96d754d8052.zip | |
do not download on the fly xml-info unless we know if it is available
(useful for the cdrom case where there is no MD5SUM, but we take care of
xml-info during urpmi.addmedia, never afterwards)
Diffstat (limited to 'urpmi.removemedia')
0 files changed, 0 insertions, 0 deletions