diff help/help_diff.sh @ 18165:471ccd7705d6

removed skip_padding (never used and totally useless)
author nicodvb
date Thu, 20 Apr 2006 20:53:48 +0000
parents c90a84da69f1
children 3fb0eb698ce8
line wrap: on
line diff