diff options
author | Tom Rini <trini@konsulko.com> | 2022-07-12 17:34:13 -0400 |
---|---|---|
committer | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2022-07-13 20:07:07 +0200 |
commit | 34a026a891ef7c51194e9926cb9212fa811cb212 (patch) | |
tree | 368f05d931b024cdc6441b3446aa99dd44c1c24f /lib/efi_loader/efi_device_path.c | |
parent | 556af511d4731a4eaee3a6010528c3e115059ffa (diff) |
doc: Add statistics page for v2022.07
Our statistics pages have always been generated by gitdm. After
patching gitdm to generate an acceptable Sphinx output for tables,
include that and some other basic formatting here.
Cc: Heinrich Schuchardt <xypron.glpk@gmx.de>
Signed-off-by: Tom Rini <trini@konsulko.com>
Reviewed-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Diffstat (limited to 'lib/efi_loader/efi_device_path.c')
0 files changed, 0 insertions, 0 deletions