Remove deprecated GREP_OPTIONS.

diff --git a/options b/options
index d3b5e2f470e86b3383459af736d404d719b89680..9bbe669328c9244ee19e7a5e694e0153ef21477f 100644 (file)
--- a/options
+++ b/options
@@ -1,7 +1,4 @@
 #!/bin/bash
 
-# This works for all versions of grep.
-GREP_OPTIONS="--color=always"
-
 # No stupid disclaimers.
 export WHOIS_OPTIONS="-H"