chiark / gitweb /
html, SvgAttrs: Change type of SvgAttrs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Apr 2021 10:57:47 +0000 (11:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Apr 2021 10:57:47 +0000 (11:57 +0100)
commitb6ac6d3df05ea7ce71813a1506442d5f5dd73608
treebe1e932a491391f8379de6bc4278bd72cea67146
parentc3395901432e123d050d1765b30e77f89d7d676b
html, SvgAttrs: Change type of SvgAttrs

Amazingly this seems to *save* 2k of wasm code.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
base/html.rs
base/misc.rs
daemon/session.rs