Change History for HotKeysPlugin

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