Am 10.09.2018 um 21:16 schrieb Allin Cottrell:
On Mon, 10 Sep 2018, Sven Schreiber wrote:
> OK, as long as 'extra' is shipped with gretl (which it now is, IIRC)
> I think it would not be more difficult for the user to call this new
> function instead of applying the current solution.
In fact "extra" is not currently shipped with gretl. That could be
easily arranged, but in that case I think it would be best to put it
into git and treat it as an "addon". That way, as with the other
addons, it would always be up to date in snapshots, and prior versions
would be retained whenever the gretl version requirement is bumped up.
Any thoughts on that?
I thought we discussed this at some point not so long ago, but maybe
without reaching a firm decision. Also I cannot find any traces of the
discussion, so maybe I'm mixing things up. But in principle it seems
logical I guess. Any disadvantages involved?
thanks,
sven