chiark / gitweb /
much renaming etc.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 5 Jul 2020 12:37:37 +0000 (13:37 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 5 Jul 2020 12:37:37 +0000 (13:37 +0100)
commita1a2758921366c50d9f7e47043593e6ead1b56e2
tree051e59572355f98fda42a22769092681b99f3793
parent50e3e8ecb7e55ba364a038d0f5409781924c086a
much renaming etc.
src/bin/server.rs
src/global.rs
src/sse.rs
templates/script.js