chiark / gitweb /
promote and rename lower_treat_pinned
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 6 Jul 2021 00:03:20 +0000 (01:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 6 Jul 2021 00:03:20 +0000 (01:03 +0100)
commit5bbb1df655b37edb1c72ea140b14971678b48489
treee59d6f9f6b8b491f27f1a3edd78ba06baa647a5b
parent96ccdc462140671054f5601ca77b9c3920e17707
promote and rename lower_treat_pinned

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