chiark / gitweb /
Makefile: Maintain generated configuration under `$(LOCAL)'.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 13 Sep 2019 19:14:30 +0000 (20:14 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 13 Sep 2019 19:14:30 +0000 (20:14 +0100)
commit37cc504f702f5ae6c14673e7033e8fbfe0ecb353
tree9a72388a89bf10d3ffc89b5e39c43e714f13479a
parent51e301803108a6482af43206e8199f2a5838e44a
Makefile: Maintain generated configuration under `$(LOCAL)'.
Makefile