Marc Zinnschlag d597bef2cd refined selection related user settings		2015-09-25 10:58:20 +02:00
..
doc	Merge branch 'mergetool'	2015-09-11 13:22:15 +02:00
filter
settings	refined selection related user settings	2015-09-25 10:58:20 +02:00
tools	Merge branch 'mergetool'	2015-09-11 13:22:15 +02:00
world	fixed local variable caching issue in automatic error checking (Fixes #2927)	2015-09-22 15:36:00 +02:00