diff options
| author | Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2019-12-05 14:55:06 +0100 |
|---|---|---|
| committer | Aaron Bauman <bman@gentoo.org> | 2019-12-06 10:38:55 -0500 |
| commit | 39b245cae69379476bbb2564b99e8701fe0d0cfe (patch) | |
| tree | b9853d073cb09e4b717a32569800bdbbbab613cc /dev-python | |
| parent | 777e9a47c90e8fcf7ee301c446a32a22cb407b15 (diff) | |
| download | gentoo-39b245cae69379476bbb2564b99e8701fe0d0cfe.tar.gz gentoo-39b245cae69379476bbb2564b99e8701fe0d0cfe.tar.bz2 gentoo-39b245cae69379476bbb2564b99e8701fe0d0cfe.zip | |
dev-db/mysql-workbench: remove unused patch
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/13881
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'dev-python')
0 files changed, 0 insertions, 0 deletions