Re: [Gretl-users] transition from cvs to git