diff TOOLS/README @ 15516:a49cb4b4e989

Shorten a few lines to avoid ugly linebreaks.
author diego
date Wed, 18 May 2005 23:30:05 +0000
parents d64f41650916
children e7dcc698718b
line wrap: on
line diff