diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2019-11-06 19:07:44 +0100 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2019-11-07 21:41:45 -0500 |
| commit | 57f4e2fd2d165295f7dc79ae1f60c105fd11087c (patch) | |
| tree | 0904f140f525e289bbba5e382813eb4652afb34b /dev-util/weka | |
| parent | sys-apps/lcdutils: rename patch to fit full name (diff) | |
| download | gentoo-57f4e2fd2d165295f7dc79ae1f60c105fd11087c.tar.gz gentoo-57f4e2fd2d165295f7dc79ae1f60c105fd11087c.tar.bz2 gentoo-57f4e2fd2d165295f7dc79ae1f60c105fd11087c.zip | |
dev-util/ctags: remove unused patch(es)
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/13571
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'dev-util/weka')
0 files changed, 0 insertions, 0 deletions