[Gretl-devel] rename small "extra" dir in git?
Hi,
would it be possible to rename the "extra" top-level directory in the
git repo? It's just a couple of KB and given the existence of
addons/extra I find it a little confusing. AFAICS it contains examples
how to interact with (lib)gretl at the C level, so perhaps it could be
named "APIexamples" or "interact" or something like that.
thanks
sven