diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-08-25 01:47:38 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-08-25 01:47:38 +0000 |
| commit | f7547c9e152486334b417e69337782389d372c4f (patch) | |
| tree | 3a6c4682a8969eb3bace23a8eb437e158a1fa695 /urpmi.addmedia | |
| parent | fd7ff9fec44844ef23e4dc1693dc778cb32cf166 (diff) | |
| download | urpmi-f7547c9e152486334b417e69337782389d372c4f.tar urpmi-f7547c9e152486334b417e69337782389d372c4f.tar.gz urpmi-f7547c9e152486334b417e69337782389d372c4f.tar.bz2 urpmi-f7547c9e152486334b417e69337782389d372c4f.tar.xz urpmi-f7547c9e152486334b417e69337782389d372c4f.zip | |
Set a timeout for wget too (1 min)
Diffstat (limited to 'urpmi.addmedia')
0 files changed, 0 insertions, 0 deletions