[wesnoth-commits] [wesnoth/wesnoth] 8867aa: Hide the Suppose Dead hotkey from the preferences

[jostephd]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 8867aab43fb89d720aca1629ae7c26967cb2b0a6
      https://github.com/wesnoth/wesnoth/commit/8867aab43fb89d720aca1629ae7c26967cb2b0a6
  Author: josteph <josteph at fastmail.com>
  Date:   2019-09-18 (Wed, 18 Sep 2019)

  Changed paths:
    M src/hotkey/hotkey_command.cpp
    M src/hotkey/hotkey_handler_sp.cpp

  Log Message:
  -----------
  Hide the Suppose Dead hotkey from the preferences