« Previous | Next » 

Revision 10eb54fb

ID10eb54fb92b412805bbd4d36d68d322535a1192a

Added by Michael Hanselmann over 14 years ago

Convert “burnin” to definition-based options

Signed-off-by: Michael Hanselmann <>
Reviewed-by: Iustin Pop <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences