robbyrussell/oh-my-zsh — pull request #3388 by Svtter (2014-12-10 06:51:55+00:00)
Title: fix bug

fix this warnning : grep: warning: GREP_OPTIONS is deprecated; please use an alias or script