diff options
| author | Pablo Saratxaga <pablo@mandriva.com> | 2001-12-10 15:28:35 +0000 |
|---|---|---|
| committer | Pablo Saratxaga <pablo@mandriva.com> | 2001-12-10 15:28:35 +0000 |
| commit | 36e4848b84d7db70404433cc1483133b755f5334 (patch) | |
| tree | 8257c8c812a42ba13d8e7a0d0f6e7664c0d7eb65 /urpmi.addmedia | |
| parent | 3147af6d8ff5173fa0dd9c24868a421bb8a43af8 (diff) | |
| download | urpmi-36e4848b84d7db70404433cc1483133b755f5334.tar urpmi-36e4848b84d7db70404433cc1483133b755f5334.tar.gz urpmi-36e4848b84d7db70404433cc1483133b755f5334.tar.bz2 urpmi-36e4848b84d7db70404433cc1483133b755f5334.tar.xz urpmi-36e4848b84d7db70404433cc1483133b755f5334.zip | |
corrected some English typos
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 204fa46b..2e296988 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; |