Sebastian Zarnekow 8990d9c55d [#1497] Don't clear the cache on bulk changes to errors or warnings		2020-06-29 11:42:08 +02:00
..
org/eclipse/xtext	[#1497] Don't clear the cache on bulk changes to errors or warnings	2020-06-29 11:42:08 +02:00
log4j.properties	Moved projects to root of repository	2016-06-14 08:30:25 +02:00