log TOOLS/TOCrenumber.sh @ 8234:ebf9a61bb88c

age author description
Mon, 21 Oct 2002 20:59:42 +0000 gabucino small helper script for DOCS translators (to change numeric links to