diff man/misc.texi @ 71313:c4480c1636df

New keys for clocking work, Changed keys for export.
author Carsten Dominik <dominik@science.uva.nl>
date Sat, 10 Jun 2006 14:17:55 +0000
parents 6a73480b8faf
children 044c5a8f7744 a8190f7e546e
line wrap: on
line diff