Re: [MonetDB-users] how to completely remove the MonetDB5 installation?