[Commits] [wesnoth/wesnoth] ad47ae: Addons Manager: tweaked UI filter labels

[GitHub]

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

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

  Log Message:
  -----------
  Addons Manager: tweaked UI filter labels