[Gretl-users] Re: Open a session file from command line