From 05cd5e617ae4611627147bbbbff696cc9d40c6a0 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Tue, 28 Nov 2006 17:09:17 +0000 Subject: priority is dead (it was only used internally) --- urpm/media.pm | 1 - 1 file changed, 1 deletion(-) (limited to 'urpm') 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 -- cgit v1.2.1