diff TOOLS/mwallp/compile.sh @ 22197:ebf5462a08b7

some clarifications and updates
author diego
date Wed, 14 Feb 2007 00:19:33 +0000
parents 06e4c7737aa7
children
line wrap: on
line diff