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?
cheers
sven