[Commits] [wesnoth/wesnoth] a0233a: fix debug kill command beeing unsynced

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: a0233a1d4df6463323b06bdf3f32f3b1345cf574
      https://github.com/wesnoth/wesnoth/commit/a0233a1d4df6463323b06bdf3f32f3b1345cf574
  Author: gfgtdf <daniel.gfgtdf at gmail.com>
  Date:   2016-08-04 (Thu, 04 Aug 2016)

  Changed paths:
    M src/menu_events.cpp
    M src/synced_commands.cpp

  Log Message:
  -----------
  fix debug kill command beeing unsynced