fontforge/fontforge — pull request #154 by monkeyiq (2012-10-12 03:01:04+00:00)
Title: Removed the old separate hotkeys.html file, merged it's contents into existing HotKeys.html file.

The new description of the new hotkeys stuff from hotkeys.html has moved to the bottom of HotKeys.html. We can move that around in the new file later if desired. Manual key assignments seem like something that should be documented at the bottom of the file rather than confusing the user with such technicalities right of the bat.

Sorry about this, I guess some hooks in git to check for existing files relative to case insensitive naming would help me :(