diff version.sh @ 4914:de4074ab4e5f

good-looking fix by Tobias Diedrich <td@informatik.uni-hannover.de>
author arpi
date Sat, 02 Mar 2002 18:54:58 +0000
parents d31a4f29aed1
children 142e0fa289d4
line wrap: on
line diff