diff options
author | Thierry Vignaud <tv@mandriva.org> | 2008-08-14 13:13:10 +0000 |
---|---|---|
committer | Thierry Vignaud <tv@mandriva.org> | 2008-08-14 13:13:10 +0000 |
commit | 5b1332c3edd262ee8ea8dcab557edd68d3fb65ea (patch) | |
tree | 6c37b1a7bcc20d7546be6cebab4f40a01a329176 /urpmi.addmedia | |
parent | 7f0cf33940b175c4f08327684cde0adf6bfbb77e (diff) | |
download | urpmi-5b1332c3edd262ee8ea8dcab557edd68d3fb65ea.tar urpmi-5b1332c3edd262ee8ea8dcab557edd68d3fb65ea.tar.gz urpmi-5b1332c3edd262ee8ea8dcab557edd68d3fb65ea.tar.bz2 urpmi-5b1332c3edd262ee8ea8dcab557edd68d3fb65ea.tar.xz urpmi-5b1332c3edd262ee8ea8dcab557edd68d3fb65ea.zip |
(do_install_3) fix exit code if refusing to insert the proper media
Diffstat (limited to 'urpmi.addmedia')
0 files changed, 0 insertions, 0 deletions