diff options
| author | Thierry Vignaud <tv@mandriva.org> | 2008-09-17 10:48:37 +0000 |
|---|---|---|
| committer | Thierry Vignaud <tv@mandriva.org> | 2008-09-17 10:48:37 +0000 |
| commit | 12e3f1da4976b60fb5c2ea70bfecbeac429b0929 (patch) | |
| tree | 49949d7fd0208faf33037018cafccae06974137f /gurpmi.addmedia | |
| parent | 9622848820e31419d3a8deb89ee026a11d4cb32c (diff) | |
| download | rpmdrake-12e3f1da4976b60fb5c2ea70bfecbeac429b0929.tar rpmdrake-12e3f1da4976b60fb5c2ea70bfecbeac429b0929.tar.gz rpmdrake-12e3f1da4976b60fb5c2ea70bfecbeac429b0929.tar.bz2 rpmdrake-12e3f1da4976b60fb5c2ea70bfecbeac429b0929.tar.xz rpmdrake-12e3f1da4976b60fb5c2ea70bfecbeac429b0929.zip | |
kill support for unused 'banner' option
Diffstat (limited to 'gurpmi.addmedia')
0 files changed, 0 insertions, 0 deletions