*: Eliminate the old CVS `$Id: ...' markers.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 6 Sep 2020 12:19:44 +0000 (13:19 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 6 Sep 2020 12:19:44 +0000 (13:19 +0100)
commit90e765f9d2385a218e9d793741ad6184aba9ebeb
tree2462098a399ffa5bf17ebb868b46896e93767dd2
parentff4a528685458a173259c8b303d65ac13bcc5255
*: Eliminate the old CVS `$Id: ...' markers.
mdwfonts.dtx
mdwfonts.ins