diff man/mini.texi @ 69322:ef8bfd5aced8

Version number change only.
author Carsten Dominik <dominik@science.uva.nl>
date Tue, 07 Mar 2006 10:04:20 +0000
parents dc2d5a6655a3
children 737e59692915 c5406394f567
line wrap: on
line diff