projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef38b08) | patch
media-sound/pragha: Add missing build-time dep on xfce-base/exo
authorMichał Górny <mgorny@gentoo.org>
Thu, 25 Jan 2018 17:43:59 +0000 (18:43 +0100)
committerMichał Górny <mgorny@gentoo.org>
Thu, 25 Jan 2018 18:00:26 +0000 (19:00 +0100)
commitba3ac412db5584e3552164f0e618e643a9425aac
tree69f3ee6131b917cfbdae16795f23b5717e7429bdtree | snapshot
parentef38b08f1d23f6a9a22f78269ac66faffd5eb258commit | diff
media-sound/pragha: Add missing build-time dep on xfce-base/exo

Closes: https://bugs.gentoo.org/645724
media-sound/pragha/pragha-1.3.90.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.