Merge remote-tracking branch 'origin/master'
authorIvan Chirkov <Ivan.Chirkov@jetbrains.com>
Wed, 15 Oct 2014 10:36:27 +0000 (12:36 +0200)
committerIvan Chirkov <Ivan.Chirkov@jetbrains.com>
Wed, 15 Oct 2014 10:36:27 +0000 (12:36 +0200)
commitc3c13124d8ed746c1eb53614a9570a9900ce2686
tree691d9339f5b0377ff865389542b540d83269e86c
parentde79ee28459b356d42af071c53f65ff3c949c7d2
parentdfabb7df332d232eeaf5a21185851bf61d4403ab
Merge remote-tracking branch 'origin/master'