Lukas Eder 0430b1dd23 [#3565] Add XXXContext.settings() for convenience		2014-08-18 12:46:13 +02:00
..
.settings
src	[#3565] Add XXXContext.settings() for convenience	2014-08-18 12:46:13 +02:00
.classpath
.gitignore
.project
LICENSE.txt
pom.xml	[#3558] Add Setting to enable / disable fetching of warnings	2014-08-18 12:46:00 +02:00