media-sound/csound: drop unnecessary csound-manual blocker
authorTim Harder <radhermit@gentoo.org>
Tue, 1 Aug 2017 13:34:51 +0000 (09:34 -0400)
committerTim Harder <radhermit@gentoo.org>
Fri, 4 Aug 2017 00:33:19 +0000 (20:33 -0400)
commit80258bd2af43f1b9a1a5015c7f6f7101b2075ca9
treeee902622bbbb365c15ecf154ca615fbac96c6b55
parent37b605e0496dd043060ba2b1ed50bd3aa2337b01
media-sound/csound: drop unnecessary csound-manual blocker
media-sound/csound/csound-6.09.1.ebuild
media-sound/csound/csound-9999.ebuild