zgrep man page updated in new upstream release
authorBdale Garbee <bdale@gag.com>
Fri, 24 Feb 2017 21:52:38 +0000 (14:52 -0700)
committerBdale Garbee <bdale@gag.com>
Fri, 24 Feb 2017 21:52:38 +0000 (14:52 -0700)
commitbb237929fec6af7764d532c4e5348c9990f8e87e
treea168e737f0951dd35c105c0b5145228c16984009
parent978bac5333774bc6e3191772abdc2b9be98aacca
zgrep man page updated in new upstream release
debian/patches/series
debian/patches/zgrep-man-diff [deleted file]