diff options
| -rw-r--r-- | urpmi.bash-completion | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/urpmi.bash-completion b/urpmi.bash-completion index ef90b6d3..e0086e49 100644 --- a/urpmi.bash-completion +++ b/urpmi.bash-completion @@ -1,7 +1,7 @@ # bash completion for urpmi and friends # Copyright (c) 2002-2003 Guillaume Rousse <guillomovitch@linux-mandrake.com> # $Id$ -set -x + # utility functions _urpmi_get_medias() { |