chiark / gitweb /
Makefile: Delete some obsolete commented-out stuff
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Mar 2021 11:19:05 +0000 (11:19 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Mar 2021 11:19:21 +0000 (11:19 +0000)
commitb8928bd917dfae0f208daa598f83a4ad562fc9f2
tree07aca20cece28859af5df922c2a8fa4c52f2aaa6
parentfce04aa228b89d11febad9e0f03d377d471fb094
Makefile: Delete some obsolete commented-out stuff

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