diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2008-01-08 14:24:19 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2008-01-08 14:24:19 +0000 |
| commit | e55d273af1471243c5eb3326b1b0aa3bd52b6fb5 (patch) | |
| tree | fa6b9c27b61bafd557edb2aaa928c85940f6b2e6 /urpmi.addmedia | |
| parent | 5546d07c8b3f323efdbbd01225f86992f6220b08 (diff) | |
| download | urpmi-e55d273af1471243c5eb3326b1b0aa3bd52b6fb5.tar urpmi-e55d273af1471243c5eb3326b1b0aa3bd52b6fb5.tar.gz urpmi-e55d273af1471243c5eb3326b1b0aa3bd52b6fb5.tar.bz2 urpmi-e55d273af1471243c5eb3326b1b0aa3bd52b6fb5.tar.xz urpmi-e55d273af1471243c5eb3326b1b0aa3bd52b6fb5.zip | |
drop synthesis_for_virtual_medium() since it is unused
Diffstat (limited to 'urpmi.addmedia')
0 files changed, 0 insertions, 0 deletions