diff version.sh @ 10385:efa8e2fb2262

Set default indentation depth to 5. Add trailing spaces to options that are too short to get indented.
author diego
date Sun, 06 Jul 2003 12:43:28 +0000
parents 3cb3620bab87
children b522f0f85387
line wrap: on
line diff