COMMITS
/ docs/sphinx/hxtool.py March 6, 2020
P
docs/sphinx/hxtool.py: Remove STEXI/ETEXI support
Peter Maydell committed
February 28, 2020
P
doc/scripts/hxtool.py: Strip trailing ':' from DEFHEADING/ARCHHEADING
Peter Maydell committed
January 24, 2020
P
docs/sphinx: Add new hxtool Sphinx extension
Peter Maydell committed