Change History for HotKeysPlugin

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