chiark / gitweb /
~mdw / mdwfonts / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90e765f) | patch
Remove the redundant file headers.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:44:21 +0000 (17:44 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:45:24 +0000 (17:45 +0100)
commiteff24b4f0c49055d611e23993f7abcbf62f39756
treef62561ab117140a8a787e64fd1a0c52b9eaf9322tree | snapshot
parent90e765f9d2385a218e9d793741ad6184aba9ebebcommit | diff
Remove the redundant file headers.

Everything is duplicated in the GPL header anyway, and I can't get rid
of that.
mdwfonts.dtx diff | blob | blame | history
LaTeX font selection hacking