comparison TOOLS/x2mpsub.sh @ 6249:e5031c75e940

message wording fix by Diego B.
author arpi
date Fri, 31 May 2002 21:51:20 +0000
parents 2c6c21e1a1a1
children
comparison
equal deleted inserted replaced
6248:bd789010874b 6249:e5031c75e940