diff TOOLS/mp.pl @ 22647:ca72ca36b4fd

Simplify compilation command.
author diego
date Sat, 17 Mar 2007 00:52:05 +0000
parents 493cbec56a14
children
line wrap: on
line diff