chiark / gitweb /
Detect updates and append them to the file.
authorSimon Tatham <anakin@pobox.com>
Tue, 5 Dec 2023 13:05:36 +0000 (13:05 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 5 Dec 2023 19:06:07 +0000 (19:06 +0000)
commit572045020f1918244fa908bb837b8fe4467e9b78
tree1755da54b51f0f194c13d750c80e01e5922ef7b2
parent444d2cfe6644265c911bf0bb0b6d07cf71d8f82d
Detect updates and append them to the file.
client.py
cursesclient.py
text.py
util.py