From 620e0db443001d4f7ea594ca54f85fae45726ea1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= <jeremy@asynk.ch>
Date: Wed, 26 Nov 2014 08:36:17 +0100
Subject: bashrc: GREP_OPTIONS is dead

---
 bashrc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/bashrc b/bashrc
index 9fcbae5..fc57a3e 100644
--- a/bashrc
+++ b/bashrc
@@ -77,9 +77,6 @@ LIBS=/var/lib
 LOCALGIT=${HOME_}/usr/git
 LOCALLIB=${HOME_}/lib
 
-# GREP
-export GREP_OPTIONS=--color
-
 # GIT
 # export GIT_PAGER=cat
 # export GIT_BASE=${LOCALGIT}
-- 
cgit v1.1-2-g2b99