diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2007-12-18 16:57:25 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2007-12-18 16:57:25 +0000 |
| commit | fa957b2abb16441c131d8242b22579ca63d70c01 (patch) | |
| tree | 1549ed1f2f0c9183fc354ae931445d8f1194ada7 /urpmi.addmedia | |
| parent | a03bae98662e36648ee8005656b09c03aa0c4d33 (diff) | |
| download | urpmi-fa957b2abb16441c131d8242b22579ca63d70c01.tar urpmi-fa957b2abb16441c131d8242b22579ca63d70c01.tar.gz urpmi-fa957b2abb16441c131d8242b22579ca63d70c01.tar.bz2 urpmi-fa957b2abb16441c131d8242b22579ca63d70c01.tar.xz urpmi-fa957b2abb16441c131d8242b22579ca63d70c01.zip | |
also check the pkg correctly builds with files
Diffstat (limited to 'urpmi.addmedia')
0 files changed, 0 insertions, 0 deletions