media-sound/ario: remove unused patch
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Sat, 19 Aug 2017 13:10:10 +0000 (15:10 +0200)
committerMichael Palimaka <kensington@gentoo.org>
Sat, 2 Sep 2017 14:46:03 +0000 (00:46 +1000)
commit77b4026de435baa95218050716dab3d5f26ea609
tree360759ab3de2472c66616d27a7cef708b0a38bf4
parentc8a77fa2a4b099aeb15035e9fedc5d0353adc17d
media-sound/ario: remove unused patch
media-sound/ario/files/ario-1.5.1-single-includes.patch [deleted file]