chiark / gitweb /
Merge from upstream (copyright tidying; editor updates)
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 13 Oct 2024 16:53:49 +0000 (17:53 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 13 Oct 2024 16:53:49 +0000 (17:53 +0100)
commit92b2a16ad5a9abadf659498b27450d34e3c6f1da
tree814adeb4f816974cf87882f17ce6b9ea69073c89
parentca543470891fddb9176d87ce1d4f21f40bda703d
parent13228ac77e19cd716ad100693e08c9234a14be7b
Merge from upstream (copyright tidying; editor updates)