chiark / gitweb /
New update messages for different kinds of update
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Sep 2020 21:59:28 +0000 (22:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Sep 2020 21:59:28 +0000 (22:59 +0100)
commit7a9a1059fcc599343e401c6ac504288052cf7084
treef8c80093d14140c06c31a492b87059ed71ff791d
parentac60af3d8dcae31471be7558c4f3df6f4f2812d9
New update messages for different kinds of update

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/api.rs
src/cmdlistener.rs
src/global.rs
src/updates.rs