Tobias Reich 897fad76cf Added skipDuplicates- and identifier-check to the diagnostics		2015-06-28 23:17:09 +02:00
..
check	Added skipDuplicates- and identifier-check to the diagnostics	2015-06-28 23:17:09 +02:00
displaylog	Updated copyright year	2015-03-29 18:58:15 +02:00