chiark / gitweb /
Makefile: Delete the log files on `clean'.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 18 May 2023 21:54:13 +0000 (22:54 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 18 May 2023 21:54:13 +0000 (22:54 +0100)
commit3f40da71dd3295d4187f3f82bff4cd0fcda2b9d3
treeac8b1874123f333ee36c3c244d94fbdb188b226b
parent54b70d06239c3d85052d81753291817761458ac3
Makefile: Delete the log files on `clean'.
Makefile