diff THANKS @ 1382:1cd2e09cb0e5

case insensitive search by default
author Sebastien Jodogne <s.jodogne@gmail.com>
date Fri, 29 May 2015 14:46:06 +0200
parents afaa55d42ddd
children 22e7e2ba99db
line wrap: on
line diff