diff TOOLS/x2mpsub.sh @ 7807:5cd172eeaf23

removed the mess
author alex
date Sat, 19 Oct 2002 20:56:28 +0000
parents 2c6c21e1a1a1
children
line wrap: on
line diff