gitk: Pass --invert-grep option down to "git log"

diff --git a/gitk b/gitk
index 0325ab0ca2b60876db2b5fc3209e3fdcc77fe5a0..cc5866f103282cd3f47512933c1e3865cf4668ab 100755 (executable)
--- a/gitk
+++ b/gitk
@@ -4066,6 +4066,7 @@ set known_view_options {
     {committer t15  .  "--committer=*"  {mc "Committer:"}}
     {loginfo   t15  .. "--grep=*"       {mc "Commit Message:"}}
     {allmatch  b    .. "--all-match"    {mc "Matches all Commit Info criteria"}}
+    {igrep     b    .. "--invert-grep"  {mc "Matches none Commit Info criteria"}}
     {changes_l l    +  {}               {mc "Changes to Files:"}}
     {pickaxe_s r0   .  {}               {mc "Fixed String"}}
     {pickaxe_t r1   .  "--pickaxe-regex"  {mc "Regular Expression"}}