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)
commit43a0026a2e8b23320070cc05ee161cf67e446e5b
treec24d7e631f1494dd6d1a714ce2df8395add23908
parent4b2f59b195fccfe19d468c6f8d2fa89179d9849b
Makefile: Keep the log file after formatting.
Makefile