Re: getting started with the texlive importer

[Paul Garlick]

Hi Ricardo, Hi John,

> Looks good to me.  Please push!

Cheers!

Pushed as 735808b12cc23909b421e10e212a07e7aa69a5eb 

Best regards,

Paul.