Leo d4bfd33ac5 Changes F7 and F8 to more useful hotkeys for admins (#20942) ...

* Changes F7 and F8 to more useful hotkeys.

* Fixes the skin.dmf diff.

2016-10-14 10:15:01 +13:00

..

interface.dm

Remove old changelog junk

2016-02-14 23:38:53 -06:00

skin.dmf

Changes F7 and F8 to more useful hotkeys for admins (#20942)

2016-10-14 10:15:01 +13:00

stylesheet.dm

The Hierophant (#19921)

2016-09-05 10:05:35 +12:00