Merge branch 'master' of git.labs.intellij.net:idea/community
authorsweinreuter <sascha.weinreuter@gmail.com>
Thu, 5 Nov 2009 15:57:57 +0000 (16:57 +0100)
committersweinreuter <sascha.weinreuter@gmail.com>
Thu, 5 Nov 2009 15:57:57 +0000 (16:57 +0100)

Trivial merge