[wesnoth-commits] [wesnoth/wesnoth] 845b3a: Update GDB pretty printers for renamed members in ...

[Steve Cotton]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 845b3ab5bb220c3ef11f324aee6a19effd39ee92
      https://github.com/wesnoth/wesnoth/commit/845b3ab5bb220c3ef11f324aee6a19effd39ee92
  Author: Steve Cotton <steve at octalot.co.uk>
  Date:   2020-01-22 (Wed, 22 Jan 2020)

  Changed paths:
    M utils/gdb/wesnoth_pretty_printers.py

  Log Message:
  -----------
  Update GDB pretty printers for renamed members in config.hpp


  Commit: 95e3b7aa91330f5ab90801ebd0d077b4c335d907
      https://github.com/wesnoth/wesnoth/commit/95e3b7aa91330f5ab90801ebd0d077b4c335d907
  Author: Steve Cotton <steve at octalot.co.uk>
  Date:   2020-01-22 (Wed, 22 Jan 2020)

  Changed paths:
    M utils/gdb/register_wesnoth_pretty_printers.py
    M utils/gdb/wesnoth_gdb.py
    M utils/gdb/wesnoth_pretty_printers.py

  Log Message:
  -----------
  Port the GDB pretty-printing functions to Python3 and update docs

The code in the documentation needed to change slightly for the port,
so the documentation update is combined in the same commit.


Compare: https://github.com/wesnoth/wesnoth/compare/66ce133e003f...95e3b7aa9133