diff options
| author | Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2017-12-03 09:37:40 +0100 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2017-12-03 09:39:14 -0500 |
| commit | d15763a8ba18725ec926165ab793ef3bf92cc3c5 (patch) | |
| tree | 8403d94f3b436d93da8f23e9f7941cdd100c5d7b /dev-java/antlr | |
| parent | 0121b1512c8ff5fa98c2ccc4b8a0a18ca9bd28db (diff) | |
| download | gentoo-d15763a8ba18725ec926165ab793ef3bf92cc3c5.tar.gz gentoo-d15763a8ba18725ec926165ab793ef3bf92cc3c5.tar.xz | |
dev-php/PEAR-PEAR: remove unused patch
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Diffstat (limited to 'dev-java/antlr')
0 files changed, 0 insertions, 0 deletions