diff version.sh @ 9596:7b4a17c415fb

Same behaviour as old code for short headers
author rtognimp
date Sat, 15 Mar 2003 19:40:52 +0000
parents 3cb3620bab87
children b522f0f85387
line wrap: on
line diff