Ignore case for tool and file replacement queries
Authored by: Johannes Binder 2014-02-21
Parent(s): [b7f8ba]
Child(ren): [867325]