diff options
author | Thierry Vignaud <tv@mandriva.org> | 2007-03-06 12:12:54 +0000 |
---|---|---|
committer | Thierry Vignaud <tv@mandriva.org> | 2007-03-06 12:12:54 +0000 |
commit | baddc07a805f9411ccc102d87c75489369a1365e (patch) | |
tree | 5e0b8526d2dfbed05aa24bb540c468c4d526a658 /gurpmi.addmedia | |
parent | 12b54be5191e62bd5987ec25060fd28aae6b948e (diff) | |
download | rpmdrake-baddc07a805f9411ccc102d87c75489369a1365e.tar rpmdrake-baddc07a805f9411ccc102d87c75489369a1365e.tar.gz rpmdrake-baddc07a805f9411ccc102d87c75489369a1365e.tar.bz2 rpmdrake-baddc07a805f9411ccc102d87c75489369a1365e.tar.xz rpmdrake-baddc07a805f9411ccc102d87c75489369a1365e.zip |
display version number if --version is given (#28858)
Diffstat (limited to 'gurpmi.addmedia')
0 files changed, 0 insertions, 0 deletions