diff TOOLS/mp.pl @ 17937:ec6781a09b3a

Update to the recent properties changes.
author albeu
date Fri, 24 Mar 2006 19:59:30 +0000
parents 493cbec56a14
children
line wrap: on
line diff