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 /docs/man | |
parent | 9376f72fb5ff2d34ad7c380c8dfbb2435601a63f (diff) |
Add hotkey for the Help menu. Closes #5401.
Diffstat (limited to 'docs/man')
0 files changed, 0 insertions, 0 deletions