chiark / gitweb /
mdwtools.tex: Use `strayman' and `mdwfonts' if available.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 6 Sep 2020 12:25:50 +0000 (13:25 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:36:43 +0000 (17:36 +0100)
commitba741fe9f0a2b38976db455d17e88ece8046ae0f
tree4212e6a92044c7a61ff3a7f2409260f7b19b2470
parent1ae155da74f82d3b5ab944a1b98647af7d2b5ea7
mdwtools.tex: Use `strayman' and `mdwfonts' if available.
mdwtools.tex