Change History for HotKeysPlugin

Version Date Author Comment
* 6 months figaro Tags github-hosted added
4 12 months rjollos Removed recent changes for externally hosted plugin.
* 12 months figaro Tags external added
3 12 months figaro Cosmetic changes, tagged as external
2 6 years bne
1 6 years bne New hack HotKeysPlugin, created by bne