2019-06-08 14:19:46
— part of check-in
[786d6167fa]
on branch trunk
— Minor name refactoring and comment enhancements in graph.js. No logic changes.
Improvements to the javascript compressor. Apply compression to "*/js.txt"
files in addition to "*.js" files.
(user:
drh
size: 5922)
2019-08-04 22:56:00
— part of check-in
[fc5f88d6d9]
on branch cleanX
— Merge trunk
(user:
jan.nijtmans
size: 5922)
2019-08-31 16:42:33
— part of check-in
[aa37639112]
on branch db-begin-txn-updates
— Merge in latest from trunk.
(user:
andybradford
size: 5922)
2020-01-28 20:39:00
— part of check-in
[9dbea18c71]
on branch multi-thread
— Merge trunk
(user:
jan.nijtmans
size: 5922)