Time with leading zeroes

Bill J Gray Jun 21, 2003

Hi Oliver, Laurent,

As Oliver pointed out, the "leading zeroes" only works for
coordinates, and the amount of control over the time format
is minimal. While I do have plans to address this:

http://www.projectpluto.com/future.htm#time_format

and energetic people can make assorted changes to the
time format used in Guide by editing 'startup.mar':

http://www.projectpluto.com/mar_fmt.htm#julian

in neither case did I address leading zeroes. I'll modify
'future.htm' accordingly, so that when I _do_ get around to
handling time formats properly, I'll remember to include
that detail.

-- Bill