projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 533444e) | patch
dev-db/mysql-workbench: remove unused patches
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Sat, 19 Jan 2019 09:22:16 +0000 (10:22 +0100)
committerAaron Bauman <bman@gentoo.org>
Wed, 27 Feb 2019 05:35:29 +0000 (00:35 -0500)
commit9ac346b7c9110d5ecc7d6601064e2aaafa1c7e61
tree0fac711f152f781eeb420488d6ed861c58b811d6tree | snapshot
parent533444e1ea9c3d9e79ca5676dccfe7649cd0ca50commit | diff
dev-db/mysql-workbench: remove unused patches

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/10868
Signed-off-by: Aaron Bauman <bman@gentoo.org>
dev-db/mysql-workbench/files/mysql-workbench-6.2.3-CMakeLists.patch [deleted file] blob | history
dev-db/mysql-workbench/files/mysql-workbench-6.3.3-mysql_options4.patch [deleted file] blob | history
dev-db/mysql-workbench/files/mysql-workbench-6.3.4-cxx11.patch [deleted file] blob | history
dev-db/mysql-workbench/files/mysql-workbench-6.3.4-gtk.patch [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.