diff TOOLS/x2mpsub.sh @ 8964:9f3a0da01917

preferences cosmetics
author pontscho
date Thu, 16 Jan 2003 19:51:08 +0000
parents 2c6c21e1a1a1
children
line wrap: on
line diff