Fri, 23 Nov 2018 06:07:33 +0100 |
Boris Feld |
mmapindex: move the 'mmapindexthreshold' option out of experimental
|
Sat, 01 Dec 2018 15:57:27 +0100 |
Boris Feld |
perf: add a --rev attribute to perfindex
|
Fri, 23 Nov 2018 06:03:38 +0100 |
Boris Feld |
perf: update perfindex to be more realistic
|
Sun, 02 Dec 2018 13:09:46 -0800 |
Martin von Zweigbergk |
match: drop unnecessary wrapping of regex in group
|
Sun, 02 Dec 2018 13:45:20 -0800 |
Martin von Zweigbergk |
match: use _BASE_SIZE instead of magic value 4
|
Sun, 02 Dec 2018 13:44:49 -0800 |
Martin von Zweigbergk |
match: make "groupsize" include the trailing "|"
|
Sun, 02 Dec 2018 13:09:43 -0800 |
Martin von Zweigbergk |
match: fix an unaligned (but harmless) indent
|