static/tgal.js (keydown): Delete redundant case.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 22 Jun 2023 11:14:19 +0000 (12:14 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 22 Jun 2023 11:14:19 +0000 (12:14 +0100)
We've done that one already.


No differences found