chiark / gitweb /
script: Break out pinned_log_message
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Jun 2022 19:16:51 +0000 (20:16 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Jun 2022 19:59:49 +0000 (20:59 +0100)
commitd898d24de5089a5d9abb68390f2ce92488fdf704
tree58ed87b468cb51f3c03423ef4f621eaf53461fce
parent9b16c22cb096064bf59834484fbdebcf9e854a93
script: Break out pinned_log_message

We're going to reuse this.

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