diff TOOLS/mplmult.sh @ 17949:a6b11b35892a

Turn the preferences menu in something usefull using the new property API.
author albeu
date Sat, 25 Mar 2006 20:49:36 +0000
parents 9b7f3566b603
children abd0a4e9daa0
line wrap: on
line diff