diff options
| author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-04-02 12:18:07 -0300 |
|---|---|---|
| committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-04-02 12:18:07 -0300 |
| commit | b3e476088b8b94d9f914199a01b0bee69550396f (patch) | |
| tree | cddd0e9f2a70177793bbcc2498f6d3d38dc75535 /run_tests.sh | |
| parent | 9376f72fb5ff2d34ad7c380c8dfbb2435601a63f (diff) | |
Add hotkey for the Help menu. Closes #5401.
Diffstat (limited to 'run_tests.sh')
0 files changed, 0 insertions, 0 deletions