GREP_OPTIONS is deprecated, use an alias
authorJoerg Jaspert <joerg@debian.org>
Thu, 8 Sep 2016 20:38:16 +0000 (22:38 +0200)
committerJoerg Jaspert <joerg@debian.org>
Thu, 8 Sep 2016 20:38:16 +0000 (22:38 +0200)
commit7e0bde4e2fcf580e627290da94dddc3b8ae3b366
treeb474de86171a489034d555ae7bdf08c99f87b7ec
parentbc46f60ea0d6bc1116e2c667b0af9e5c877622b9
GREP_OPTIONS is deprecated, use an alias
.zsh/10_Environment.zsh