diff options
| author |   Jeremy Huddleston <eradicator@gentoo.org> | 2004-11-23 10:16:35 +0000 |
|---|---|---|
| committer | Jeremy Huddleston <eradicator@gentoo.org> | 2004-11-23 10:16:35 +0000 |
| commit | 6e88db388c8b1f0ee410b0afc2c4bfe1bdbafc5b (patch) | |
| tree | 2f5d1f92b63ec40f1e05ec36cc783a5f79c3c787 /media-sound/pmidi/files | |
| parent | Changed einstall to make DESTDIR=${D} install; bug #72174. (diff) | |
| download | historical-6e88db388c8b1f0ee410b0afc2c4bfe1bdbafc5b.tar.gz historical-6e88db388c8b1f0ee410b0afc2c4bfe1bdbafc5b.tar.bz2 historical-6e88db388c8b1f0ee410b0afc2c4bfe1bdbafc5b.zip | |
Added to ~sparc.
Diffstat (limited to 'media-sound/pmidi/files')
| -rw-r--r-- | media-sound/pmidi/files/digest-pmidi-1.5.5 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/media-sound/pmidi/files/digest-pmidi-1.5.5 b/media-sound/pmidi/files/digest-pmidi-1.5.5 deleted file mode 100644 index 6680b3f50e6e..000000000000 --- a/media-sound/pmidi/files/digest-pmidi-1.5.5 +++ /dev/null @@ -1 +0,0 @@ -MD5 43e97dd991c3bfc5ef019fec888d5d75 pmidi-1.5.5.tar.gz 124374 |