Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
0001-Use-sphinx_rtd_theme-in-documentation.patch | Use sphinx_rtd_theme in documentation. | Michael Fladischer <fladi@debian.org> | no | 2023-07-01 | ||
0002-Use-local-mermaid.js-file.patch | Use local mermaid.js file. | Michael Fladischer <fladi@debian.org> | no | 2023-10-30 |