diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2006-11-28 17:09:17 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2006-11-28 17:09:17 +0000 |
| commit | 05cd5e617ae4611627147bbbbff696cc9d40c6a0 (patch) | |
| tree | bb771e7f76893992cc6eb996f67efa01c69a6fa6 | |
| parent | d388e1e55f8197d74d05a63711487d894cc2865e (diff) | |
| download | urpmi-05cd5e617ae4611627147bbbbff696cc9d40c6a0.tar urpmi-05cd5e617ae4611627147bbbbff696cc9d40c6a0.tar.gz urpmi-05cd5e617ae4611627147bbbbff696cc9d40c6a0.tar.bz2 urpmi-05cd5e617ae4611627147bbbbff696cc9d40c6a0.tar.xz urpmi-05cd5e617ae4611627147bbbbff696cc9d40c6a0.zip | |
priority is dead (it was only used internally)
| -rw-r--r-- | urpm/media.pm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/urpm/media.pm b/urpm/media.pm index bf425b66..43184e3c 100644 --- a/urpm/media.pm +++ b/urpm/media.pm @@ -18,7 +18,6 @@ our @PER_MEDIA_OPT = qw( media_info_dir name noreconfigure - priority priority-upgrade removable static |