On Mon, 28 May 2018, Sven Schreiber wrote:
Am 28.05.2018 um 15:02 schrieb Artur T.:
>
> As it seems that the "extra" package tends to become a requirement for some
> new packages or updates and definitely includes some helpful "helper"
> functions, why not adding it as a native package which is shipped with the
> basic gretl installation?
Not 100% sure, but I think it already is shipped automatically. It's not an
official "addon" like 'gig' and so on, but like 'criteria' it
seems to be
included always.
Actually, no, it's not packaged with gretl at present. But it could
be. In that case I think it should be entered into git along with
gig et al.
Allin