chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1245c3) | patch
script: Make mouse cursor different in wresting mode
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jun 2022 23:57:43 +0000 (00:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Jun 2022 00:31:33 +0000 (01:31 +0100)
commit0a34ec573c0492205c3de30daa84c596e9564de3
tree6ca4a9c2cb02561f71cb6b114b0462f9ab8ba3bbtree | snapshot
parentf1245c3760abcb5a0fa98457696d29bcc3c3633ecommit | diff
script: Make mouse cursor different in wresting mode

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.