[Commits] [wesnoth/wesnoth] 019330: addon_manager: fix default ign file

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 0193302847280777a4ece763ae44b0b5db2990cb
      https://github.com/wesnoth/wesnoth/commit/0193302847280777a4ece763ae44b0b5db2990cb
  Author: V N <n1m5spm at yandex.com>
  Date:   2018-02-12 (Mon, 12 Feb 2018)

  Changed paths:
    M data/tools/wesnoth_addon_manager

  Log Message:
  -----------
  addon_manager: fix default ign file