2019-07-29 08:28:00
— part of check-in
[14f2ba0436]
on branch svg-and-md-formatting
— Move each command-line option to their own paragraph, for consistency with the document structure in "Environment Variables and Global Options", as this seems easier to browse and search. The explicit line-break between the two options was wiped with automatic cleanup of trailing spaces by [e2751b18af].
(user:
florian
size: 20945)
2019-07-29 15:12:59
— part of check-in
[93b0afc889]
on branch trunk
— Enhancements to the copy/paste SVG icon and to the global options help page.
(user:
drh
size: 20945)
2019-07-29 17:25:36
— part of check-in
[8a0753de2d]
on branch repolist-skin
— Merge fixes from trunk.
(user:
drh
size: 20945)
2019-07-30 01:17:12
— part of check-in
[7e7258b3ed]
on branch test-updates
— Merge in updates from trunk.
(user:
andybradford
size: 20945)
2019-08-04 22:56:00
— part of check-in
[fc5f88d6d9]
on branch cleanX
— Merge trunk
(user:
jan.nijtmans
size: 20945)