]> git.plutz.net Git - serve0/history - indexmeta.sh
altered groupmatch algorithm
[serve0] / indexmeta.sh
2019-06-04 Paul Hänschimproved update heuristics
2018-12-04 Paul Hänschstable sort (keep name order when sorting by lenght)
2018-10-21 Paul Hänschremove redundant meta records during index update
2018-07-24 Paul Hänschvarious code improvements (skip double sanitizing,...
2018-07-23 Paul Hänschcode cleanup/unification
2018-07-20 Paul Hänschslight speed improvement in meta updating
2018-07-19 Paul Hänschbugfix: allow rime based update of meta file cgilite
2018-07-18 Paul HänschMerge branch 'cgilite' of git.plutz.net:serve0 into...
2018-07-18 Paul Hänschvarious -a flags for grep
2018-07-18 Paul Hänschslight code improvements
2018-07-18 Paul HänschMerge branch 'cgilite' of git.plutz.net:serve0 into...
2018-07-18 Paul Hänschspeed gain by omitting record checks (heuristic pagination)
2018-07-17 Paul HänschWoRg arounT GNU greps FAULTY binary file dTection!...
2018-07-16 Paul Hänschlocalize function variables
2018-07-15 Paul Hänschchanges in meta format, improved code abstraction
2018-07-15 Paul Hänschimproved meta generation code