diff version.sh @ 13135:1659857dd634

keyboard control: some fixes and extensions, punctuation
author diego
date Wed, 25 Aug 2004 15:20:39 +0000
parents e209ca6a0b3e
children 7a2d85a8da98
line wrap: on
line diff