chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d20f54) | patch
wdt-hand: Select and deselect hand appropriately
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 15 Mar 2021 00:42:54 +0000 (00:42 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 15 Mar 2021 00:42:54 +0000 (00:42 +0000)
commitef28c3b6b28906898cf77de4805cb8a3c9e5bf98
tree75f90df0adf2596c332ccdac340bdbe3ab459a3dtree | snapshot
parent1d20f5470447cce15673522368c3d43e01439954commit | diff
wdt-hand: Select and deselect hand appropriately

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