gtk/mysql-workbench
2019-01-24 17:38:25 +01:00
..
0001-mysql-workbench-no-check-for-updates.patch mysql-workbench: imported 2015-12-28 23:31:30 +01:00
0002-disable-unsupported-operating-system-warning.patch mysql-workbench: update to 6.3.10... 2018-02-23 15:27:28 +00:00
0003-add-option-to-hide-nonstandard-server-warning.patch mysql-workbench: update to 6.3.10... 2018-02-23 15:27:28 +00:00
0004-mariadb-no-escape-string-quote.patch mysql-workbench: update to 6.3.10... 2018-02-23 15:27:28 +00:00
0005-mysql-workbench-mariadb.patch mysql-workbench: update to 6.3.10... 2018-02-23 15:27:28 +00:00
0007-mysql-workbench-no-set-gtid-purged.patch mysql-workbench: imported 2015-12-28 23:31:30 +01:00
0009-mysql-workbench-gnome-keyring.patch mysql-workbench: imported 2015-12-28 23:31:30 +01:00
0013-mysql-workbench-no-json.patch mysql-workbench: update to 6.3.10... 2018-02-23 15:27:28 +00:00
arch_linux_profile.xml mysql-workbench: imported 2015-12-28 23:31:30 +01:00
mysql-workbench.install mysql-workbench: switch to pacman hooks, #11 2019-01-24 17:38:25 +01:00
PKGBUILD mysql-workbench: switch to pacman hooks, #11 2019-01-24 17:38:25 +01:00