diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2007-06-11 15:42:01 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2007-06-11 15:42:01 +0000 |
| commit | 3a15e73a432c541914cd93d44926c8af54cc0398 (patch) | |
| tree | 82313ff3d82bc2e509e758bba654e60b3aaada55 /urpmi.addmedia | |
| parent | d6352eb8243fc8962242a5b3fb694db84cbe5fce (diff) | |
| download | urpmi-3a15e73a432c541914cd93d44926c8af54cc0398.tar urpmi-3a15e73a432c541914cd93d44926c8af54cc0398.tar.gz urpmi-3a15e73a432c541914cd93d44926c8af54cc0398.tar.bz2 urpmi-3a15e73a432c541914cd93d44926c8af54cc0398.tar.xz urpmi-3a15e73a432c541914cd93d44926c8af54cc0398.zip | |
- all tools
o don't use time-stamping when downloading with wget
(useless and slow since it forces to download the whole directory listing)
(as suggested by Andrey Borzenkov on cooker)
Diffstat (limited to 'urpmi.addmedia')
0 files changed, 0 insertions, 0 deletions