Rev 4872 | Details | Compare with Previous | Last modification | View Log | RSS feed
/* This is a dummy used as a placeholder for
systems that need to have a special header file. */