diff TOOLS/TOCrenumber.sh @ 12618:4a2c715ae125

better wording, patch by Sebastian Kr¸«£mer <mail@skraemer.de>
author diego
date Mon, 21 Jun 2004 18:54:02 +0000
parents e89a7e9410b4
children
line wrap: on
line diff