Am 19.05.2018 um 23:54 schrieb Riccardo (Jack) Lucchetti:
On Sat, 19 May 2018, Sven Schreiber wrote:
> Am 19.05.2018 um 10:33 schrieb Riccardo (Jack) Lucchetti:
>> I agree. Sven, could you edit the
>> doc/commands/gretl_functions_en.xml file to add the doc for the
>> function?
>
> I guess I could. Is that the only place/file that needs to be changed
> for that?
Yes. Then of course Helio and I will see to the Portuguese and Italian
translations, respectively.
Pushed. BTW, this was one of the cases where the simple
pull-edit-commit-push cycle for dummies didn't work, because a change in
the git repo (by Allin I think) made another pull with an automatic
merge necessary. Fortunately the auto merge went fine (I think).
cheers,
sven