semi-libc/src/time/ctime.c

#include <time.h>

char *ctime(const time_t *t)
{
	return asctime(localtime(t));
}