wilfried 324b9df909 update to mysql-gui-tools-5.0r12		2007-10-23 13:44:02 +00:00
..
patches	update to mysql-gui-tools-5.0r12	2007-10-23 13:44:02 +00:00
pkg	update the MySQL tools to versions that are not broken with the latest version of MySQL	2007-01-30 07:59:12 +00:00
distinfo	update to mysql-gui-tools-5.0r12	2007-10-23 13:44:02 +00:00
Makefile	update to mysql-gui-tools-5.0r12	2007-10-23 13:44:02 +00:00