Merge branch 'master' of git.labs.intellij.net:idea/community
authorDmitry Jemerov <yole@jetbrains.com>
Tue, 23 Nov 2010 10:00:26 +0000 (13:00 +0300)
committerDmitry Jemerov <yole@jetbrains.com>
Tue, 23 Nov 2010 10:00:26 +0000 (13:00 +0300)

Trivial merge