diff help/help_diff.sh @ 25703:986e8d8c1ae7

Get rid of quite useless inum variable
author reimar
date Sun, 13 Jan 2008 15:01:07 +0000
parents 60c71a89cd76
children 3ff3bd9bf0f9
line wrap: on
line diff