games-arcade/cervi is gone
authorMichael Sterrett <mr_bones_@gentoo.org>
Thu, 17 Nov 2011 20:50:26 +0000 (20:50 +0000)
committerMichael Sterrett <mr_bones_@gentoo.org>
Thu, 17 Nov 2011 20:50:26 +0000 (20:50 +0000)
commitd6b3efb6c7c15547978f2ff0cb61bc942abe25ca
tree53602a5b37377335f90e0c26f442135d000f1608
parent838afe3ae1e5a77f22137d631305e2c154c33d38
games-arcade/cervi is gone
games-arcade/cervi/ChangeLog [deleted file]
games-arcade/cervi/Manifest [deleted file]
games-arcade/cervi/cervi-0.0.3.ebuild [deleted file]
games-arcade/cervi/files/cervi-0.0.3-gcc43.patch [deleted file]
games-arcade/cervi/metadata.xml [deleted file]