/dev-db/mysql-workbench/files/

• ../
• mysql-workbench-6.2.5-wbcopytables.patch
• mysql-workbench-6.3.10-i386-json.patch
• mysql-workbench-6.3.9-mariadb-json.patch