diff options
| author | coqbot-app[bot] | 2020-09-11 19:56:35 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-11 19:56:35 +0000 |
| commit | 5b62a6908202eef2c40d2f4989d8d21d0f6c3e16 (patch) | |
| tree | 5d743509e0606149b050009758a8a4a5b4a3ac9c /plugins | |
| parent | e1a8da8b83aa3ae96ac05c2bc6606aa0719aa64f (diff) | |
| parent | 795af932ef6606ba8385448244f60c728e9abdbd (diff) | |
Merge PR #13011: Minimal changes to make the refman compatible with Sphinx 3.
Reviewed-by: cpitclaudel
Reviewed-by: jfehrle
Ack-by: Zimmi48
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions