tree dadfd1ccaeb2ce0403d306a59b35711531481e2b
parent f56a0fff1a336635c966bffc25e16af9a4e6e988
author Tor Norbye <tnorbye@google.com> 1367982586 -0700
committer Tor Norbye <tnorbye@google.com> 1367982586 -0700

Snapshot 5220ac5242aadc343c995ec9a49d09765db4a0c7 from master branch of git://git.jetbrains.org/idea/community.git

Change-Id: I2494d92b34f89102885b2f39d7552747fafdafec