2020-06-25 00:16:17
— part of check-in
[a8a606996b]
on branch formatted-online-help
— Adjust help text to work better with the new formatter.
(user:
drh
size: 20685)
2020-06-25 00:17:04
— part of check-in
[e58c76a1d0]
on branch trunk
— On webpages, render help text as HTML.
(user:
drh
size: 20685)
2020-06-25 08:16:00
— part of check-in
[69b450c1e0]
on branch cleanX
— Merge trunk
(user:
jan.nijtmans
size: 20685)
2020-08-09 21:45:46
— part of check-in
[7cfbf66a02]
on branch cmake-ide
— Merge in trunk; resolve conflicts
(user:
ashepilko
size: 20685)
2020-08-26 13:31:58
— part of check-in
[62c316306e]
on branch wiki-history
— Merge in trunk (version-2.12.1)
(user:
george
size: 20685)