diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-07-31 09:30:24 +0200 |
|---|---|---|
| committer |   Patrice Clement <monsieurp@gentoo.org> | 2018-08-20 17:00:35 +0200 |
| commit | 1982ae25dd9c0ce8a6847cf3649ba75edcd1c9a0 (patch) | |
| tree | a34565bbf07eb1a5994d9d1f3ec63c9df63e7680 /profiles | |
| parent | dev-tex/dvi2gr: EAPI7, improve ebuild. (diff) | |
| download | gentoo-1982ae25dd9c0ce8a6847cf3649ba75edcd1c9a0.tar.gz gentoo-1982ae25dd9c0ce8a6847cf3649ba75edcd1c9a0.tar.bz2 gentoo-1982ae25dd9c0ce8a6847cf3649ba75edcd1c9a0.zip | |
dev-ruby/syntax: remove unused patch(es).
Closes: https://bugs.gentoo.org/664042
Closes: https://github.com/gentoo/gentoo/pull/9397
Diffstat (limited to 'profiles')
0 files changed, 0 insertions, 0 deletions