diff TOOLS/x2mpsub.sh @ 16019:1307465ee8ff

When using --enable-* options you are on your own.
author reimar
date Wed, 20 Jul 2005 07:40:15 +0000
parents 2c6c21e1a1a1
children
line wrap: on
line diff