The only way seems to be deleting them in the gui. Am I missing something here?
cheers, Jan _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list
