diff help/help_diff.sh @ 22543:1503d29ab0d1

Remove superfluous/obsolete rules and variables.
author diego
date Wed, 14 Mar 2007 08:37:34 +0000
parents 60c71a89cd76
children 3ff3bd9bf0f9
line wrap: on
line diff