src/interp/rptui.c
/*=================================================
 * rptui_init -- begin UI timing for report
 *===============================================*/
- begin UI timing for report
- begin UI timing for report
void
rptui_init (void)
{
	uitime = 0;
}
void rptui_init ( void ) { uitime = 0 ; }
rptui_init -- begin UI timing for report
rptui_init -- begin UI timing for report