Merge branch 'master' of git.labs.intellij.net:idea/community
commit74837f3d7213ca20ee4a26ef36e060815488119b
authorDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Mon, 23 Nov 2009 11:41:45 +0000 (23 14:41 +0300)
committerDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Mon, 23 Nov 2009 11:41:45 +0000 (23 14:41 +0300)
tree2094ab94a3d1f7c20dbe7c6691787d2044dea5b9
parenteed1b1a32244f2e9266d0d09b3f314d9436b5beb
parent7f5db28b38784e5f67c3a4ad2db16d05c48ec05c
Merge branch 'master' of git.labs.intellij.net:idea/community