chiark / gitweb /
Space out the ... at the end of a boost/fave record.
authorSimon Tatham <anakin@pobox.com>
Thu, 7 Dec 2023 05:22:03 +0000 (05:22 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 7 Dec 2023 05:22:03 +0000 (05:22 +0000)
commita499e5b8763d1c3398cf4da4d32bf98e4c402514
treeebeff04034f549087d334acfd8174e3b65f30990
parentfb38380f9a6db7b4bb46422fba2edfc44935d8a3
Space out the ... at the end of a boost/fave record.
text.py