[wesnoth-commits] [wesnoth/wesnoth] 08352d: theme: Add optional argument to REPLAY_THEME for t...

[jostephd]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 08352d2ab4880e219e757efeb64d1e6790f15abb
      https://github.com/wesnoth/wesnoth/commit/08352d2ab4880e219e757efeb64d1e6790f15abb
  Author: josteph <josteph at fastmail.com>
  Date:   2019-08-10 (Sat, 10 Aug 2019)

  Changed paths:
    M data/themes/_initial.cfg

  Log Message:
  -----------
  theme: Add optional argument to REPLAY_THEME for the benefit of user-defined themes

See #4184