chiark / gitweb /
Prep v234.2: Apply upstream fixes in tools (6/6)
authorSven Eden <yamakuzure@gmx.net>
Fri, 28 Jul 2017 06:35:36 +0000 (08:35 +0200)
committerSven Eden <yamakuzure@gmx.net>
Fri, 28 Jul 2017 07:38:52 +0000 (09:38 +0200)
commit15caae0c64bd7105e3c8555b4d275ebd9e79ca65
tree59eab8202727530e84d7d0d49e8e207690adb8c2
parentbb60f4140783b52e46e2787e1df69a21b77ba3ac
Prep v234.2: Apply upstream fixes in tools (6/6)
tools/gdb-sd_dump_hashmaps.py
tools/make-man-index.py
tools/make-man-rules.py
tools/xml_helper.py