[Commits] [wesnoth/wesnoth] d21a79: document use_markup widget property

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: d21a79b0117c7b6bbeeba73da8551132ad751753
      https://github.com/wesnoth/wesnoth/commit/d21a79b0117c7b6bbeeba73da8551132ad751753
  Author: Vasya Novikov <n1dr+cm3513git at ya.ru>
  Date:   2017-12-28 (Thu, 28 Dec 2017)

  Changed paths:
    M src/gui/widgets/styled_widget.cpp

  Log Message:
  -----------
  document use_markup widget property