chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b65cc27) | patch
script: Break out treat_as_pinned
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Jun 2022 19:13:51 +0000 (20:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Jun 2022 19:59:49 +0000 (20:59 +0100)
commit9b16c22cb096064bf59834484fbdebcf9e854a93
tree9d4858817f142d80a9807c9afc7ebde7fb7b6121tree | snapshot
parentb65cc273d1b082872ad96838103f7dee7a316d03commit | diff
script: Break out treat_as_pinned

We're going to reuse this.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.