chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e12f3fe) | patch
script: Change how we ungrab on all wresting transitions
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Jun 2022 00:50:29 +0000 (01:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Jun 2022 09:24:06 +0000 (10:24 +0100)
commit61db6c158b71cccf891489fe845fcbf918b3a550
treed2da614f191fb5aa79ed39e827fe05cfdfd8205atree | snapshot
parente12f3fe31a177786c1cd231932f003a68c961adecommit | diff
script: Change how we ungrab on all wresting transitions

We're going to change wresting in another place.

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.