Merge branch 'master' of plugins/structuralsearch
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Fri, 20 Jun 2014 10:22:06 +0000 (12:22 +0200)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Fri, 20 Jun 2014 10:22:06 +0000 (12:22 +0200)

Trivial merge