platform_tools_idea/.gitattributes, branch pie-dr1-devUnnamed repository; edit this file 'description' to name the repository.
Snapshot of commit d5ec1d5018ed24f1b4f32b1d09df6dbd7e2fc4252013-01-08T19:11:20+00:00Jean-Baptiste Querujbq@google.com2013-01-08T19:11:20+00:00b56ea2a18f232d79481e778085fd64e8ae486fc3
from branch master of git://git.jetbrains.org/idea/community.git
from branch master of git://git.jetbrains.org/idea/community.git