chiark / gitweb /
fixed some bugs earlier
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Nov 2020 00:21:47 +0000 (00:21 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 27 Nov 2020 00:21:47 +0000 (00:21 +0000)
commitdadaabf7c2e795b40aa5eaf7ed92126f85ffca5d
tree034e7f02126d6958088844d4565075002c4a5617
parent4954f19478afe88514a47f1fb7cf6896e3145e69
fixed some bugs earlier

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