projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cde3c5) | patch
Removed media-sound/pmidi as intended.
authorDiego Elio Pettenò <flameeyes@gentoo.org>
Sat, 5 Nov 2005 14:40:41 +0000 (14:40 +0000)
committerDiego Elio Pettenò <flameeyes@gentoo.org>
Sat, 5 Nov 2005 14:40:41 +0000 (14:40 +0000)
commitfc854f4f7b07056229ffa16f5032b20175a82568
treef9ad100117818dde0af05f3a88b5e57a4f5e9582tree | snapshot
parent1cde3c566aa2c7d9074a75a8e10b4da0ddc4be1acommit | diff
Removed media-sound/pmidi as intended.
media-sound/pmidi/ChangeLog [deleted file] blob | history
media-sound/pmidi/Manifest [deleted file] blob | history
media-sound/pmidi/files/digest-pmidi-1.6.0 [deleted file] blob | history
media-sound/pmidi/metadata.xml [deleted file] blob | history
media-sound/pmidi/pmidi-1.6.0.ebuild [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.