static void resume_time();
Resumes the time. get_time() will return the current time again.
Back to index