chiark / gitweb /
clean targets: Delete $(TARGETS) too!
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 19 Nov 2016 18:15:39 +0000 (18:15 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 11 Jun 2020 15:13:02 +0000 (16:13 +0100)
commitd31f56b1c66427e8a3e9e2de7b5115b6f6b6cf9e
tree2b0b8d52da6338392f06764534b06ec051d92ba8
parent0b22f09806edac19e97d9ef61567eae76ab7c89d
clean targets: Delete $(TARGETS) too!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
settings.make.in