diff subopt-helper.h @ 24021:8434aae12d7c

Remove unused definition.
author diego
date Wed, 08 Aug 2007 23:33:34 +0000
parents 5949a654e2d4
children 3baf6a2283da
line wrap: on
line diff