4 May
2003
4 May
'03
1:10 p.m.
Tim, Running indent again on the same source produces more changes. It looks like some comments are getting put all the way to the right and running indent again moves them to the right some more. The man page has a comment about this. I'll see if there is anything else. Jonathan