gzip: minor zgrep cleanup
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Mar 2016 19:16:34 +0000 (11:16 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Mar 2016 19:16:58 +0000 (11:16 -0800)
commit2c5f8b3d1edfca163e4c4fbc2541bc53c1dca684
treef4a20daafa873e69fbcf375acf010a1150212b7f
parent61cd88ef7492a180e2d91d110db116e8a8f7c049
gzip: minor zgrep cleanup

* zgrep.in: Simplify previous change.
zgrep.in