Merge branch 'master' of git.labs.intellij.net:idea/community
authorDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Wed, 10 Feb 2010 13:31:09 +0000 (16:31 +0300)
committerDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Wed, 10 Feb 2010 13:31:09 +0000 (16:31 +0300)

Trivial merge