chiark / gitweb /
record what is deployed
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Nov 2020 22:22:29 +0000 (22:22 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Nov 2020 22:22:39 +0000 (22:22 +0000)
commit936b59c1fc3a6929fd153ad3cb27f51d66b44787
treeb4d6e6d41f15c03305e693184bf8f213b96bc783
parenta821f0991e94df03e73e9d164e02ea5c28ac79a7
record what is deployed

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