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