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

Trivial merge