Filename: ///bin//rgrep

#!/bin/sh

exec grep -r "$@"

./Ninja\.