Change History for HotKeysPlugin

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