log TOOLS/TOCrenumber.sh @ 9230:d14fea190b6b

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