[Gretl-users] Re: How to undo an action in Gretl?