diff man/display.texi @ 83694:2d9dff8f5a37

Some more tidying and simplification pending merge.
author Glenn Morris <rgm@gnu.org>
date Tue, 28 Aug 2007 07:27:04 +0000
parents b426cd17306d
children ec2c4356638d e9f94688a064
line wrap: on
line diff