Added the ^I keystroke to switch the case-sensitivity.
authorFrancois Fleuret <francois@fleuret.org>
Mon, 13 Apr 2009 12:59:44 +0000 (14:59 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Mon, 13 Apr 2009 12:59:44 +0000 (14:59 +0200)

No differences found