Patrick Rudolph has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/36109 )
Change subject: Documentation: Make sure ifdtool/index gets added to toctree
......................................................................
Patch Set 1: Code-Review+2
--
To view, visit
https://review.coreboot.org/c/coreboot/+/36109
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I57b37ebd3383e73a101511e303ad3beeb9d4ea31
Gerrit-Change-Number: 36109
Gerrit-PatchSet: 1
Gerrit-Owner: Arthur Heymans
arthur@aheymans.xyz
Gerrit-Reviewer: Patrick Rudolph
siro@das-labor.org
Gerrit-Reviewer: build bot (Jenkins)
no-reply@coreboot.org
Gerrit-Comment-Date: Mon, 21 Oct 2019 05:48:05 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment