[wesnoth-commits] [wesnoth/wesnoth] 4feb16: Game Launcher: removed unused mark_completed_campa...

[Charles Dang]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 4feb168fd1a1251d72d774658cba37124d45d073
      https://github.com/wesnoth/wesnoth/commit/4feb168fd1a1251d72d774658cba37124d45d073
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2021-01-06 (Wed, 06 Jan 2021)

  Changed paths:
    M src/game_launcher.cpp
    M src/game_launcher.hpp

  Log Message:
  -----------
  Game Launcher: removed unused mark_completed_campaigns function