chiark / gitweb /
cleanups for wresting/pinning
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Oct 2020 10:46:29 +0000 (11:46 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Oct 2020 10:46:29 +0000 (11:46 +0100)
commit92a421eb34b7f3fddd8e6f122fefe91a25224d46
tree156eed6a3445570ada085df5bfec20621e23b443
parentaf507b3ede285bf5855638d2c8119c8a1dfd8c4e
cleanups for wresting/pinning

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts