You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Correct description of the --prune-events option for csgrep. When this
option is specified, events with the verbosity level matching the number
specified as option argument are preserved, while the previous
description indicated they were pruned.
Also slightly tweaking the --imp-level description to replace "greater
or equal than" with "greater than or equal to", similar to the wording
of the new description for --prune-events.
0 commit comments