Merge branch 'master' of git.labs.intellij.net:idea/community
authorBas Leijdekkers <basleijdekkers@gmail.com>
Fri, 15 Jul 2011 10:40:01 +0000 (12:40 +0200)
committerBas Leijdekkers <basleijdekkers@gmail.com>
Fri, 15 Jul 2011 10:40:01 +0000 (12:40 +0200)

Trivial merge