Marc Zinnschlag 7bef97bf33 fixed local variable caching issue in automatic error checking (Fixes #2927)		2015-09-22 15:36:00 +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	Update to upstream/master. Resolve merge conflicts	2015-07-27 13:54:13 +03: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