diff TOOLS/mplmult.sh @ 24384:16d5efcad1f7

warning fix: ext.c: At top level: ext.c:316: warning: 'mapping_size' defined but not used
author diego
date Mon, 10 Sep 2007 12:54:32 +0000
parents 9b7f3566b603
children abd0a4e9daa0
line wrap: on
line diff