2020-06-11 07:46:02
— part of check-in
[bd56e90d0f]
on branch default.css
— Merge in trunk.
(user:
stephan
size: 31094)
2020-06-11 07:46:02
— part of check-in
[bd56e90d0f]
on branch default.css
— Merge in trunk.
(user:
stephan
size: 31094)
2020-06-14 05:37:05
— part of check-in
[8eec01d419]
on branch trunk
— Merged in default.css branch: move default_css.txt to default.css (compiled in as-is as a builtin) and eliminate the no-longer-relevant mkcss tool. The over-the-wire size increase for the no-longer-stripped CSS is less than 1kb.
(user:
stephan
size: 31094)
2020-06-25 08:16:00
— part of check-in
[69b450c1e0]
on branch cleanX
— Merge trunk
(user:
jan.nijtmans
size: 31094)