tree.c
23.8 KB
-
tree: mark a tree as already sorted · fc436469
The trees are sorted on-disk, so we don't have to go over them again. This cuts almost a fifth of time spent parsing trees.
Carlos Martín Nieto committed
The trees are sorted on-disk, so we don't have to go over them again. This cuts almost a fifth of time spent parsing trees.