diff Tools/scripts/fixheader.py @ 7251:8a08025ef93d legacy-trunk

Some subtleties suggested by Tamito Kajiyama, including an added \nodename macro for a section with a very underscriptive title.
author Guido van Rossum <guido@python.org>
date Wed, 11 Feb 1998 22:55:55 +0000
parents 73758db2f464
children 14a27acc755a
line wrap: on
line diff