Merge branch 'pc-lint-settings'
authorThomas Jarosch <thomas.jarosch@intra2net.com>
Tue, 9 Nov 2010 10:32:48 +0000 (11:32 +0100)
committerThomas Jarosch <thomas.jarosch@intra2net.com>
Tue, 9 Nov 2010 10:32:48 +0000 (11:32 +0100)

Trivial merge