Beispiel #1
0
void banner() { fbanner( cout ); }
Beispiel #2
0
/* -----------------------------------------------------------------------------
** Print a neat header on the output.
*/
void
banner( void ){ fbanner( stdout ); }