diff options
| author | Arthur Heymans <arthur@aheymans.xyz> | 2019-10-18 00:26:21 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-10-21 09:16:24 +0000 |
| commit | 194422af82ad61bc2870e3db7d1a1e864e5b1ecd (patch) | |
| tree | c132729a25e4fe435d4b2f9b164327c6f57a4212 /configs | |
| parent | 3e42dbac307ae1b9c29874ac732b8d07109427cf (diff) | |
Documentation: Make sure ifdtool/index gets added to toctree
Change-Id: I57b37ebd3383e73a101511e303ad3beeb9d4ea31
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36109
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Rudolph <siro@das-labor.org>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions