() 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 Alternatively, you could truncate the comment.