From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 22 Jun 2023 11:14:19 +0000 (+0100)
Subject: static/tgal.js (keydown): Delete redundant case.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/tgal/commitdiff_plain/252d02c202a0b1ed421edf1c9c65122f000a1e18?hp=252d02c202a0b1ed421edf1c9c65122f000a1e18

static/tgal.js (keydown): Delete redundant case.

We've done that one already.
---