chiark / gitweb /
Remove some pubs from html.rs.
authorSimon Tatham <anakin@pobox.com>
Sun, 31 Dec 2023 08:35:52 +0000 (08:35 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 31 Dec 2023 08:35:52 +0000 (08:35 +0000)
commit4c4f27395073fa8ab7c756ad33c9df62b331204e
tree3c41ca0e4f1e9bcc5377724606f78a2ad3335d82
parentc66b999548e0569a80b10fe7bb28c379a73da733
Remove some pubs from html.rs.

Just spotted that those aren't really needed.
src/html.rs