chiark / gitweb /
dice: Arrange to use text_options.start_element
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 19 May 2022 18:57:48 +0000 (19:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 19 May 2022 18:58:22 +0000 (19:58 +0100)
commit7d552476f622cdb7c76a7020ba9597e42e4b44aa
tree744a4fcf71eebbd636ff900d8c236f74a68a00f8
parenta7d3dc86eeb042ec19afe2a0fc60264ea77223e7
dice: Arrange to use text_options.start_element

What a palaver!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dice/overlay-template-extractor
src/dice.rs