diff LinuxCompilation.txt @ 1382:1cd2e09cb0e5

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