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