10 Nov
2002
10 Nov
'02
5:31 p.m.
Which file is the one that was so munged by indent?
It was a long time ago, but it doesn't matter. Once we decide on a style, we'll just have to bite the bullet and do tedious reformatting of comments that don't work. The trick is only to choose a commenting style that indent preserves. This is only a one-time hit. Once things are cleaned up, new comments will be indent-compatible and all is well. Tim