diff options
| author | Pablo Saratxaga <pablo@mandriva.com> | 2001-12-03 19:36:59 +0000 |
|---|---|---|
| committer | Pablo Saratxaga <pablo@mandriva.com> | 2001-12-03 19:36:59 +0000 |
| commit | 3c879e7831ab56a1208e40996dbe49c3aa397df2 (patch) | |
| tree | 8e4526d93236e2033ae730ff1c09a02f2f8c0d2b /urpmi.addmedia | |
| parent | 824319ed62b59d24955086f651c61c5910cbb986 (diff) | |
| download | urpmi-3c879e7831ab56a1208e40996dbe49c3aa397df2.tar urpmi-3c879e7831ab56a1208e40996dbe49c3aa397df2.tar.gz urpmi-3c879e7831ab56a1208e40996dbe49c3aa397df2.tar.bz2 urpmi-3c879e7831ab56a1208e40996dbe49c3aa397df2.tar.xz urpmi-3c879e7831ab56a1208e40996dbe49c3aa397df2.zip | |
updated pot file
Diffstat (limited to 'urpmi.addmedia')
| -rwxr-xr-x | urpmi.addmedia | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index fa807050..f1cc9014 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -35,10 +35,10 @@ where <url> is one of removable://<path> and [options] are from -") . _(" -c - clean headers cache directory. -") . _(" -f - force generation of hdlist files. -") . _(" --wget - use wget to retrieve distant files. -") . _(" --curl - use curl to retrieve distant files. +") . _(" -c - clean headers cache directory. +") . _(" -f - force generation of hdlist files. +") . _(" --wget - use wget to retrieve distant files. +") . _(" --curl - use curl to retrieve distant files. "); $options{force} = 0; |