|
| From: | Paul Garlick |
| Subject: | Re: getting started with the texlive importer |
| Date: | Mon, 14 Sep 2020 14:52:56 +0100 |
Hi Ricardo, Hi John, > Looks good to me. Please push! Cheers! Pushed as 735808b12cc23909b421e10e212a07e7aa69a5eb Best regards, Paul.
| [Prev in Thread] | Current Thread | [Next in Thread] |