2022-01-16 10:55:18
— part of check-in
[4364ad05eb]
on branch trunk
— /pikchrshow: in demo pikchrs which use an ampersand, write them as literals instead of HTML-escaped, to account for changes made to how pikchr handles those.
(user:
stephan
size: 22305)
2022-01-21 19:58:50
— part of check-in
[6721c654a9]
on branch th1-doc-vars
— Merge from trunk
(user:
george
size: 22305)
2022-01-21 20:13:07
— part of check-in
[5c0515e20c]
on branch wcontent-subsets
— Merge from trunk
(user:
george
size: 22305)
2022-01-21 20:24:04
— part of check-in
[9094def2b9]
on branch rptview-submenu-paralink
— Merge from trunk
(user:
george
size: 22305)
2022-01-21 20:34:17
— part of check-in
[8d78edddf7]
on branch search-terms-highlighting
— Merge from trunk
(user:
george
size: 22305)
2022-03-30 14:15:01
— part of check-in
[28fa015357]
on branch markdown-tagrefs
— Merged in trunk.
(user:
stephan
size: 22305)