diff options
| author | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2024-01-14 14:18:20 +0100 |
|---|---|---|
| committer | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2024-01-17 08:40:19 +0100 |
| commit | 31a221d3f25fdd4a7c9e645f74bf1112ad776cd0 (patch) | |
| tree | 0ae7dcfdd14975f6671387544ec9033dc4860fe6 /lib/efi_loader/efi_helper.c | |
| parent | f5209829af5c032514c19be7e0652e2e7377d1fd (diff) | |
doc: add sphinx_rtd_theme extension
Newer versions of sphinx_rtd_theme require to add sphinx_rtd_theme to the
list of extensions. Cf.
https://github.com/readthedocs/readthedocs.org/pull/9654
Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Diffstat (limited to 'lib/efi_loader/efi_helper.c')
0 files changed, 0 insertions, 0 deletions