Merge branch 'master' of git.labs.intellij.net:idea/community
[idea/community.git] / getPlugins.bat
1 call git clone git://git.jetbrains.org/idea/android.git android
2 call git clone git://git.jetbrains.org/idea/adt-tools-base.git android/tools-base