chiark / gitweb /
~ian / mastodonochrome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a2884e) | patch
Colourise spaces properly.
authorSimon Tatham <anakin@pobox.com>
Sat, 2 Dec 2023 18:01:26 +0000 (18:01 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 2 Dec 2023 18:01:26 +0000 (18:01 +0000)
commit2eef735556b261b8c95399a2e20efb00d2935a45
tree89dd75a75ee5ed768e7a12421f5815b902888f4ctree | snapshot
parent7a2884e3cb6bd6682eecc887d465bde1312eb5d1commit | diff
Colourise spaces properly.

It showed up in that error report, and it would have been nasty
copy-pasting as well.
text.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.