chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30a5ef0) | patch
script lower: Fix a debug print for bottom -> heavy rename
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 16:59:18 +0000 (17:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Jul 2021 18:32:58 +0000 (19:32 +0100)
commit316f2c4104673c6ffee99f04b85dec86966ec08e
tree1a1650ec79c6e594da3aa62eadb1c200b410e6e4tree | snapshot
parent30a5ef0bf619bc8cd9d0a1130a74eb9fff05f67bcommit | diff
script lower: Fix a debug print for bottom -> heavy rename

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.