chiark / gitweb /
Makefile: Keep the log file after formatting.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 22 Jul 2022 10:20:32 +0000 (11:20 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 22 Jul 2022 10:20:32 +0000 (11:20 +0100)

No differences found