Thien-Thi Nguyen wrote: > () Jim Meyering <j...@meyering.net> > () Tue, 06 Sep 2011 12:40:47 +0200 > > Suggestions for improvements are most welcome. > > [...] > > +@example > +1972-09-24T20:02:00,000000-0500 # @sc{iso} 8601 extended date and > time of day format > +@end example > > This is kind of long (green screen). Better something like: > > @example > 1972-09-24T20:02:00,000000-0500 > # @sc{iso} 8601 extended date and time of day format > @end example
Thank you. Splitting is definitely warranted. Also, I removed the @sc{...} mark-up in that comment. Pushed.