#!/bin/sh
#< Wrapper for case-insensitive grep
# KW 02/12/2003

exec grep -i ${1+"$@"}