Formats a time in a vector to a string.
timestr
time()
hr:mn:sc
t = { 7, 31, 46, 33 }; ts = timestr(t); print ts;
7:31:46
time.src
See also
Functions date(), datestr(), datestring(), datestrymd(), ethsec(), etstr(), time()
date()
datestr()
datestring()
datestrymd()
ethsec()
etstr()