make all "Group By" and "View Options" popups multi-choice
[idea/community.git] / getPlugins.bat
1 call git clone git://git.jetbrains.org/idea/android.git android