diff version.sh @ 11287:5fde9e4e1d17

_ --> - in option names
author wight
date Mon, 27 Oct 2003 07:14:32 +0000
parents b522f0f85387
children e209ca6a0b3e
line wrap: on
line diff