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 | 173ec1361de8e23b906c006cdd349350ba2c37ce (patch) | |
| tree | 3cf76eac3f5d5bab4403e996ea98b5c02b916e54 /media-sound/pmidi/files | |
| parent | Changed einstall to make DESTDIR=${D} install; bug #72174. (Manifest recommit) (diff) | |
| download | gentoo-2-173ec1361de8e23b906c006cdd349350ba2c37ce.tar.gz gentoo-2-173ec1361de8e23b906c006cdd349350ba2c37ce.tar.bz2 gentoo-2-173ec1361de8e23b906c006cdd349350ba2c37ce.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 |