diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2019-03-07 14:26:47 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2019-03-07 14:26:47 +0000 |
| commit | c10e01b996df09f6cb4eceb2b7a9754bece927c9 (patch) | |
| tree | c505c07b5af568a4ee9886a28e40b02e6b4fdbfe /os-win32.c | |
| parent | 6038f5fca588d8f44c403a8b8742163d9ab4adba (diff) | |
MAINTAINERS: Add entry for Sphinx documentation infrastructurepull-sphinx-20190307sphinx.nextsphinx.for-upstream
Add a MAINTAINERS entry for Sphinx documentation infrastructure:
this doesn't cover actual content, only the machinery we use to
build the docs.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20190305172139.32662-13-peter.maydell@linaro.org
Diffstat (limited to 'os-win32.c')
0 files changed, 0 insertions, 0 deletions