projects / idea / community.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 68b384b 74a5768)
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)
1  2 
jps/jps-builders/src/org/jetbrains/jps/incremental/storage/BuildDataManager.java patch | diff1 | diff2 | blob | history

IntelliJ IDEA Community Edition and IntelliJ Platform.