2015-02-13 09:03:07
— part of check-in
[c62e94f8a3]
on branch trunk
— A few more places where displayed UUID length should be configurable.
(user:
jan.nijtmans
size: 17180)
2015-02-13 21:21:46
— part of check-in
[23c86b503f]
on branch search-enhancements
— Merge enhancements and fixes from trunk.
(user:
drh
size: 17180)