diff man/misc.texi @ 81530:6769fa75a20e

Small updates.
author Carsten Dominik <dominik@science.uva.nl>
date Thu, 21 Jun 2007 10:27:51 +0000
parents 12161d3863d5
children 5f824c579a60 e6fdae9180d4
line wrap: on
line diff