2022-12-20 09:46:51
— part of check-in
[d9c4321e7a]
on branch check-in-spelling
— Change spelling for check-in and similar
(user:
danield
size: 26787)
2022-12-21 12:07:23
— part of check-in
[bc36fdcf3a]
on branch trunk
— Change spelling for check-in, check-out, and related words.
(user:
danield
size: 26787)
2023-01-21 12:14:34
— part of check-in
[baf038b1aa]
on branch markdown-tagrefs
— Merge trunk into markdown-tagrefs branch.
(user:
stephan
size: 26787)
2023-01-24 03:29:32
— part of check-in
[76fa165763]
on branch ui-local-diff
— Brought the ui-local-diff branch up to date relative to trunk. It isn't
a simple merge, primarily due to all the changes to /vdiff and /fdiff
made over the past 2 years. It seems to work as well as it originally
did, but it isn't ready to merge down to trunk as-is.
(user:
wyoung
size: 26787)