Revision 10eb54fb
ID | 10eb54fb92b412805bbd4d36d68d322535a1192a |
Convert “burnin” to definition-based options
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
Files
- added
- modified
- copied
- renamed
- deleted