diff TOOLS/mphelp_check.py @ 18958:a8e681ad7c90

Remove unused variables, patch by Stefan Huehner stefan at huehner org.
author diego
date Sat, 08 Jul 2006 17:28:36 +0000
parents fe17e7634db1
children 9065db6f98d9
line wrap: on
line diff