diff TOOLS/x2mpsub.sh @ 3793:8db5331d97a4

applied many interesting things from pl's patch, by hand
author gabucino
date Thu, 27 Dec 2001 17:33:17 +0000
parents 2c6c21e1a1a1
children
line wrap: on
line diff