drop user in MySQL

moin, moin,

drop user fred;

That works fine in PostgreSQL. What's the equivalent for MySQL?

I don't want to just revoke rights, I want to remove the user from the
mysql.user table.

I can just delete the appropriate rows, but I'd rather use the user manager
interface.

ciao,

der.hans
-- 
#  https://www.LuftHans.com/    http://www.AZOTO.org/
#  I chose to use the kernel sources as my documentation.  ;-)
#  -- Kevin Buettner