Commit 91f9be04 authored by nimrod's avatar nimrod
Browse files

workbench: Replace MariaDB with MySQL. 

They conflict and I need the MySQL CLI tools.
parent a79573c0