Dear there,

May I ask a question which might be really simple?

How to delete a dataset from a history in local Galaxy? When I clicked on delete (x), the size on disk is still the same as before deleting it.