Re: Colliding identifiers in MP.W
luigi scarso <[email protected]> Fri, 6 Feb 2026 19:33:55 +0100
| Newsgroups | gmane.comp.tex.metapost |
|---|---|
| Message-ID | <CAG5iGsCgwAkDE-ftmr_iijUVYEyowS864PXLFoACa_Ah4TUE1A@mail.gmail.com> |
--===============2093935132630953453== Content-Type: multipart/alternative; boundary="000000000000c30521064a2c089f" --000000000000c30521064a2c089f Content-Type: text/plain; charset="UTF-8" On Fri, 6 Feb 2026 at 19:19, Andreas Scherer <[email protected]> wrote: > Am 06.02.26 um 14:11 schrieb Andreas Scherer: > > However, for secondary modifications like 'pmp', further adaptations are > > necessary. > I've added a modified 'pmpost.ch' to my 'mplibdir' project on Github. > -- > Andreas > Ok. -- luigi --000000000000c30521064a2c089f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div dir=3D"ltr"><br></div><br><div class=3D"gmail_quote g= mail_quote_container"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, 6 Feb 2= 026 at 19:19, Andreas Scherer <<a href=3D"mailto:[email protected]"= >[email protected]</a>> wrote:<br></div><blockquote class=3D"gmail_= quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,= 204);padding-left:1ex">Am 06.02.26 um 14:11 schrieb Andreas Scherer:<br> > However, for secondary modifications like 'pmp', further adapt= ations are <br> > necessary.<br> I've added a modified '<a href=3D"http://pmpost.ch" rel=3D"noreferr= er" target=3D"_blank">pmpost.ch</a>' to my 'mplibdir' project o= n Github.<br> -- <br> Andreas<br></blockquote><div><br></div><div>Ok.</div><div><br></div><div>--= </div><div>luigi=C2=A0</div></div></div> --000000000000c30521064a2c089f-- --===============2093935132630953453== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline -- http://tug.org/metapost/ --===============2093935132630953453==--