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.


Thank you so much!



<<inline: Screen Shot 2014-04-11 at 4.30.18 PM.png>>

Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:

To search Galaxy mailing lists use the unified search at:

Reply via email to