DGD v1.2.112 - kfun

v1.2.112 - kfun - ctime
NAME
	ctime - convert a time integer into a string
SYNOPSIS
	`string ctime(int time)`
DESCRIPTION
	Convert the specified time, which is an integer such as is returned by the kfun time(), into a string of the form "Tue Aug 3 14:40:18 1993".
SEE ALSO
	kfun/millitime, kfun/time

v1.2.112 - kfun - ctime