Nice work! That bug has been around for years I think.
Thanks! John
- getting started with the texlive importer Paul Garlick
- Re: getting started with the texlive importer Paul Garlick
- Re: getting started with the texlive importer Paul Garlick
- Re: getting started with the texlive importer John Soo
- Re: getting started with the texlive importer Ricardo Wurmus
- Re: getting started with the texlive importer Paul Garlick
