comparison TOOLS/x2mpsub.sh @ 14277:58f3a6ce6ff3

Update for after-pre6 changes
author rtognimp
date Wed, 29 Dec 2004 20:32:26 +0000
parents 2c6c21e1a1a1
children
comparison
equal deleted inserted replaced
14276:fa80ed52127b 14277:58f3a6ce6ff3