diff TOOLS/README @ 18351:a58f92914b71

fixes suggested by Reimar
author gpoirier
date Sun, 30 Apr 2006 07:24:40 +0000
parents c658a7107209
children 2c4e00fa6f0e
line wrap: on
line diff