diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2006-11-13 16:24:55 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2006-11-13 16:24:55 +0000 |
| commit | a07f25cb937ca8c69fd6abbd40089fbc335f5463 (patch) | |
| tree | 13e37050056302d6053f66c9d9244c5fdecbff4d /urpmi.addmedia | |
| parent | f28243c5076abcb72c9fdd7094d5f09a4fafb31f (diff) | |
| download | urpmi-a07f25cb937ca8c69fd6abbd40089fbc335f5463.tar urpmi-a07f25cb937ca8c69fd6abbd40089fbc335f5463.tar.gz urpmi-a07f25cb937ca8c69fd6abbd40089fbc335f5463.tar.bz2 urpmi-a07f25cb937ca8c69fd6abbd40089fbc335f5463.tar.xz urpmi-a07f25cb937ca8c69fd6abbd40089fbc335f5463.zip | |
this can't hurt: {url} ends with $dir, and it may even help in case if non-local media
Diffstat (limited to 'urpmi.addmedia')
0 files changed, 0 insertions, 0 deletions