Zuul be8d81becd Merge "Introduce configuration option [ipmi]ipmi_disable_timeout"		2018-12-11 06:27:51 +00:00
..
source	Merge "Introduce configuration option [ipmi]ipmi_disable_timeout"	2018-12-11 06:27:51 +00:00
regenerate-samples.sh	Add documentation for BIOS settings	2018-07-27 13:23:37 +02:00