Use numeric tokens for faster index builds#13

platypii merged 1 commit into

masterhyparam/hypgrep:masterfrom

perf/numeric-index-tokenshyparam/hypgrep:perf/numeric-index-tokensCopy head branch name to clipboard