mirror of
https://gitee.com/zhangsken/AndroidIDE.git
synced 2026-10-16 15:56:48 +08:00
51ef3b115c
This also adds a preference in 'Build & run' which allows user to select the currently installed JDK version