Merge remote-tracking branch 'origin/master'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 30 Dec 2013 12:22:32 +0000 (13:22 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 30 Dec 2013 12:22:32 +0000 (13:22 +0100)
commit211d097becd132c79fd013f60b32681ea0aa533f
treeaf0082328d28a0533f808b3455a0bbc654eeaa6a
parent8fb96a52d27099fc7ad7ee3ffd68cce93d321784
parent0845f9e3bc738be97ea5e0a2994cec04a5593a7a
Merge remote-tracking branch 'origin/master'