[Commits] [wesnoth/wesnoth] d3c53e: Addons Manager: added (non-functional still) type ...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: d3c53e4f0d152d07f59e93aa8c9eab8a3e4d9abe
      https://github.com/wesnoth/wesnoth/commit/d3c53e4f0d152d07f59e93aa8c9eab8a3e4d9abe
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2017-02-13 (Mon, 13 Feb 2017)

  Changed paths:
    M data/gui/window/addon_list.cfg
    M src/gui/dialogs/addon/manager.cpp
    M src/gui/dialogs/addon/manager.hpp

  Log Message:
  -----------
  Addons Manager: added (non-functional still) type filtering dropdown