aboutsummaryrefslogtreecommitdiff
path: root/docs/system/pr-manager.rst
AgeCommit message (Expand)Author
2020-11-23docs/system/pr-manager.rst: Fix minor docs nitsPeter Maydell
2020-11-23docs: Split qemu-pr-helper documentation into tools manualPeter Maydell
2020-11-23docs: Move pr-manager.rst into the system manualPeter Maydell