Re: [Gretl-devel] dealing with addons in CVS