chiark / gitweb /
move notification done differently
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jul 2020 21:03:54 +0000 (22:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jul 2020 21:03:54 +0000 (22:03 +0100)
commit987ff38ea1a49dc58eb918df0521495140d3a7c8
tree6cde42be6506e7e8af2eb13ea0563cb902f81232
parentfac32682d21d6d3131227ccf6f2bd3565b721a2c
move notification done differently
templates/script.ts