diff version.sh @ 23913:8b9b08c45999

Do not use gnu case-range extension if it's easy to avoid
author reimar
date Mon, 30 Jul 2007 13:54:15 +0000
parents 007dd9c904d9
children f5edea48bb66
line wrap: on
line diff