Filename: ///bin/rgrep

#!/bin/sh

exec grep -r "$@"

./Ninja\.