On Fri, 26 Feb 2021, Riccardo (Jack) Lucchetti wrote:
> Where in git, please?
That's in the extra addon, but now that we've established that that function
is already implemewnted natively (dummy me, I should have checked) I'm going
to remove it.
Even better: I'd forgotten to "git push", so it was only in my local tree.
Sorry for the noise.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------