2020-08-12 11:44:48
— part of check-in
[e7c348f1d9]
on branch trunk
— Minor style consistency/layout tweaks to wikiedit and fileedit.
(user:
stephan
size: 5219)
2020-08-16 14:45:33
— part of check-in
[719dcd29cd]
on branch multi-remote-fix
— Merge trunk, since cloning local filesystem repositories still does not work
(user:
andygoth
size: 5219)
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: 5219)