diff version.sh @ 10393:122564a2df38

-overlapsub clarified (thanks, Rich), -nooverlapsub removed (redundant)
author diego
date Mon, 07 Jul 2003 23:02:25 +0000
parents 3cb3620bab87
children b522f0f85387
line wrap: on
line diff