chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a086e4) | patch
script: Properly update wresting warning in pane
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Jun 2022 00:49:14 +0000 (01:49 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Jun 2022 09:23:42 +0000 (10:23 +0100)
commite12f3fe31a177786c1cd231932f003a68c961ade
treeccfa88d0ef3e5e946e779337f4593f1dbe0176e2tree | snapshot
parent4a086e4b9ab7b4dfc1f9af7d465214a449438ef4commit | diff
script: Properly update wresting warning in pane

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.