-
Committer:
franku
-
Date:
2017-08-29 06:45:48 UTC
-
mto:
This revision was merged to the branch mainline in
revision
473.
-
Revision ID:
somal@arcor.de-20170829064548-hlsicp1g6237yte2
make running update_index faster; added highlighting; adjust search indexes