chiark / gitweb /
~mdw / mdwtools / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: aecccf6)
Remove the redundant file headers.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 6 Sep 2020 14:28:21 +0000 (15:28 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:36:44 +0000 (17:36 +0100)
Everything is duplicated in the GPL header anyway, and I can't get rid
of that.


No differences found
Various LaTeX packages