Closed couplewavylines closed 9 years ago
Fixes #11
Sorry for double request, first was done in error, closed it
Closing this, GREP_OPTIONS was recently deprecated http://debbugs.gnu.org/cgi/bugreport.cgi?bug=17494
Fixes #11
Sorry for double request, first was done in error, closed it