diff options
| author | Peter Maydell | 2020-11-12 15:40:39 +0100 |
|---|---|---|
| committer | Peter Maydell | 2020-11-23 12:10:04 +0100 |
| commit | 0daf34fd3a18aa2a43217c320e2a39d69e52d3f4 (patch) | |
| tree | b014a37e0cc7cbf6b17a4116de7cbff88b526dc5 /docs/tools | |
| parent | docs: Move microvm.rst into the system manual (diff) | |
| download | qemu-0daf34fd3a18aa2a43217c320e2a39d69e52d3f4.tar.gz qemu-0daf34fd3a18aa2a43217c320e2a39d69e52d3f4.tar.xz qemu-0daf34fd3a18aa2a43217c320e2a39d69e52d3f4.zip | |
docs: Move pr-manager.rst into the system manual
Move the pr-manager documentation into the system manual.
Some of it (the documentation of the pr-manager-helper tool)
should be in tools, but we will split it up after moving it.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Diffstat (limited to 'docs/tools')
0 files changed, 0 insertions, 0 deletions