Michal Terepeta cb7501ff11 doc: clarify the comment on Worker.work_done ...

We call `work_done` only once the work has been actually performed
(otherwise `num_pending` could go to 0 before the actual work is done).

Closes #2039

2023-07-08 18:52:42 -04:00

..

cli

doc: fix some typos

2023-07-08 18:52:42 -04:00

core

doc: improve -r/--replace flag syntax docs

2023-07-08 18:52:42 -04:00

globset

doc: fix some typos

2023-07-08 18:52:42 -04:00

grep

grep-0.2.12

2023-05-16 13:12:45 -04:00

ignore

doc: clarify the comment on Worker.work_done

2023-07-08 18:52:42 -04:00

matcher

grep-matcher-0.1.6

2023-01-05 09:00:33 -05:00

pcre2

regex: push more pattern handling to matcher construction

2023-07-05 14:04:29 -04:00

printer

deps: drop temporary patch and move to bstr 1.6

2023-07-05 14:04:29 -04:00

regex

doc: fix typo

2023-07-08 18:52:42 -04:00

searcher

deps: drop temporary patch and move to bstr 1.6

2023-07-05 14:04:29 -04:00