Sign in
android
/
platform
/
tools
/
idea
/
c810bbf46e7246636afe1d18947a460cedc5d24d
/
plugins
/
terminal
/
resources
/
icons
/
OpenTerminal.png
814f829
Merge idea133 into master
by Tor Norbye
· 11 years ago
28d9ee0
Snapshot 621d3b6adc5a7cb6f13e27610aa33af48f13da27 from master branch of git://git.jetbrains.org/idea/community.git
by Tor Norbye
· 12 years ago
