projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0121b15) | patch
dev-php/PEAR-PEAR: remove unused patch
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Sun, 3 Dec 2017 08:37:40 +0000 (09:37 +0100)
committerMichael Orlitzky <mjo@gentoo.org>
Sun, 3 Dec 2017 14:39:14 +0000 (09:39 -0500)
commitd15763a8ba18725ec926165ab793ef3bf92cc3c5
tree8403d94f3b436d93da8f23e9f7941cdd100c5d7btree | snapshot
parent0121b1512c8ff5fa98c2ccc4b8a0a18ca9bd28dbcommit | diff
dev-php/PEAR-PEAR: remove unused patch

Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
dev-php/PEAR-PEAR/files/gentoo-libtool-mismatch-fix.patch [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.