[Commits] [wesnoth/wesnoth] 3d824e: This should fix it

[GitHub]

  Branch: refs/heads/gui_renaming
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 3d824ef387bb7ed8a29e70be8847e300c3093af2
      https://github.com/wesnoth/wesnoth/commit/3d824ef387bb7ed8a29e70be8847e300c3093af2
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2016-11-11 (Fri, 11 Nov 2016)

  Changed paths:
    M data/gui/window/preferences.cfg

  Log Message:
  -----------
  This should fix it