log TOOLS/TOCrenumber.sh @ 8152:4b02f73cb4b9

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