comparison TOOLS/README @ 18352:3a7d60796a37

synced with 1.252 (update done by Reynaldo)
author gabrov
date Sun, 30 Apr 2006 08:05:14 +0000
parents c658a7107209
children 2c4e00fa6f0e
comparison
equal deleted inserted replaced
18351:a58f92914b71 18352:3a7d60796a37