[Gretl-devel] Re: rename small "extra" dir in git?

On Thu, 3 Dec 2020, Sven Schreiber wrote: > Am 22.11.2020 um 13:58 schrieb Sven Schreiber: >> 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. >> > Ping - any opinions? I'm in favour of renaming it. I'd suggest client_examples; maybe it's a bit long, though.