- all tools:

  o drop hdlist support (will be replaced with xml media_info)

1 files changed, 0 insertions, 2 deletions

diff --git a/urpmi b/urpmi
index 1c1d0553..fe1b2d6f 100755
--- a/urpmi
+++ b/urpmi
@@ -111,8 +111,6 @@ usage:
 ") . N("  --urpmi-root   - use another root for urpmi db & rpm installation.
 ") . N("  --use-distrib  - configure urpmi on the fly from a distrib tree, useful
                    to install a chroot with --root option.
-") . N("    --probe-synthesis - use synthesis file.
-") . N("    --probe-hdlist - use hdlist file.
 ") . N("  --wget         - use wget to retrieve distant files.
 ") . N("  --curl         - use curl to retrieve distant files.
 ") . N("  --prozilla     - use prozilla to retrieve distant files.