chiark / gitweb /
script: Allow multiselect of large numbers
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Apr 2022 23:32:55 +0000 (00:32 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Apr 2022 23:32:55 +0000 (00:32 +0100)
commitc3786dbc3b6315e325b3a74f6fc2d019614c6ac0
tree4dc3529b3dbb023245e70b46523e587ca468e3a8
parenta65398c734535bf6ae947120f8cbf1518116db9b
script: Allow multiselect of large numbers

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts