new upstream version already has fresh gnulib
[debian/gzip] / zegrep.in
1 #!/bin/sh
2 exec zgrep -E "$@"