| 0001-Remove-sphinx_last_updated_by_git-from-required-sphi.patch |
Remove sphinx_last_updated_by_git from required sphinx extensions. |
Michael Fladischer <FladischerMichael@fladi.at> |
no |
|
|
2024-04-11 |
| 0002-Remove-remote-badges-to-prevent-privacy-issues.patch |
Remove remote badges to prevent privacy issues. |
Michael Fladischer <FladischerMichael@fladi.at> |
no |
|
|
2024-04-11 |
| 0003-Use-local-objects.inv-in-default-intersphinx-configu.patch |
Use local objects.inv in default intersphinx configuration if files are present. |
Michael Fladischer <FladischerMichael@fladi.at> |
no |
|
|
2024-04-11 |
| 0004-Replace-pprintpp-with-rich.pretty.patch |
Replace pprintpp with rich.pretty. |
Michael Fladischer <FladischerMichael@fladi.at> |
no |
|
|
2024-04-21 |