[Gretl-devel] Re: more stuff in .gitignore ?