chiark / gitweb /
Wrap poll_options into a general display-style trait.
authorSimon Tatham <anakin@pobox.com>
Mon, 8 Jan 2024 19:39:58 +0000 (19:39 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 11 Jan 2024 08:05:28 +0000 (08:05 +0000)
commitcbd3d41466935c0145ea47b7f1aa4cd239879260
treec0ff46f6bd64fc924754d0565e73232f78fc698e
parent7aac75c11ce41fdfc16fe927e99ddb4376325d87
Wrap poll_options into a general display-style trait.
TODO.md
src/file.rs
src/text.rs