chiark / gitweb /
script: Remove a done todo
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 20 Mar 2021 23:20:26 +0000 (23:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 20 Mar 2021 23:20:26 +0000 (23:20 +0000)
commit2a4b1db1205c69e6597d6464038d2fe2dd384474
treeb6272da6386698833e0d777ba2fd03844b8da679
parentb1cb904cb8c980fc3e5d18215b98665217930987
script: Remove a done todo

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