Marc Zinnschlag 7ba512b389 Merged merge request !17		2018-07-06 11:27:35 +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
prefs	Editor: limit FPS in 3D preview windows (feature #3641)	2018-07-02 12:20:34 +04: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