Doc West 414f626309 Implemented search case sensitivity		2018-07-04 21:03:54 +02:00
..
doc	set search status bar to 'no results' message when search yields no results	2018-06-13 15:48:24 +02:00
filter	Some PVS-Studio and cppcheck fixes	2018-04-18 12:36:10 +00:00
prefs	Adds the option to ignore "Base" records when running the verifier. (fixes #4466)	2018-06-20 00:20:03 +02:00
tools	Implemented search case sensitivity	2018-07-04 21:03:54 +02:00
world	Adds the option to ignore "Base" records when running the verifier. (fixes #4466)	2018-06-20 11:29:38 +02:00