From: Francois Fleuret <francois@fleuret.org>
Date: Mon, 13 Apr 2009 13:03:21 +0000 (+0200)
Subject: Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=0b612866f322be462e80586db5bd4bce6d4fefe9;hp=e9a5dbfb21e1c625bed5683b9170d1a76ba75a56;p=selector.git

Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector

Conflicts:
	selector.cc
---

diff --git a/selector.cc b/selector.cc
index 46ff098..28ca7db 100644
--- a/selector.cc
+++ b/selector.cc
@@ -915,7 +915,7 @@ int main(int argc, char **argv) {
       use_regexp = !use_regexp;
     }
 
-    else if(key == '\011') { // ^R
+    else if(key == '\011') { // ^I
       case_sensitive = !case_sensitive;
     }