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	Remove empty line at the beginning of files	2015-08-18 23:06:12 +02:00
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