diff man/misc.texi @ 71820:3b5341ede4ac

More cleanup related to last change.
author Kim F. Storm <storm@cua.dk>
date Wed, 12 Jul 2006 13:01:23 +0000
parents d3243ee91ba0
children c7e4f78b81a6 8a8e69664178
line wrap: on
line diff