|
| From: | Owen Lamb |
| Subject: | Re: Metafont optional parameters |
| Date: | Mon, 1 Jun 2020 16:23:37 -0700 |
> > ... but not pushed yet, it seems. Sorry about that! I thought I did... anyway, it's pushed now. --Owen
| [Prev in Thread] | Current Thread | [Next in Thread] |