Fred Drake 49c595589e Make the footer at the end of a \verbatiminput stand out a little
more, to make it easier to tell apart from the verbatim content.
2003-01-29 05:14:44 +00:00
..
2002-10-30 16:54:12 +00:00
2002-03-27 20:37:04 +00:00
2002-10-30 21:29:50 +00:00