Merge branch 'master' of git.labs.intellij.net:idea/community
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Thu, 30 Oct 2014 12:34:56 +0000 (13:34 +0100)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Thu, 30 Oct 2014 12:34:56 +0000 (13:34 +0100)
commitc1eab31c062c90e4d11acecaf975ad6d724ab8fa
tree98e47adad1253f17bbf0abdc83fabb0011bd1c99
parent68b384b8de41c64213aaee17924887f25f695cd0
parent74a5768eaddfc6b117673fb5a0536622d8d96133
Merge branch 'master' of git.labs.intellij.net:idea/community
jps/jps-builders/src/org/jetbrains/jps/incremental/storage/BuildDataManager.java