Peter Maydell <peter.mayd...@linaro.org> writes:
> 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.mayd...@linaro.org> Reviewed-by: Alex Bennée <alex.ben...@linaro.org> -- Alex Bennée
