Version
4.0-3083
Branch
master
Date
10 years, 3 months ago
Windows x64 Mac OS X Android Ubuntu 13.04
Commit
b801c7f8f130284eec0690474a312a45ee6a4964
Change author
skidau
Change description
Merge pull request #1015 from zhuowei/update_debugger_menu_at_startup

Update debugger button states at startup to disable non-functional JIT menu items