diff man/display.texi @ 69632:3441de514d62

Fix.
author Simon Josefsson <jas@extundo.com>
date Wed, 22 Mar 2006 16:10:01 +0000
parents 8db1976888d0
children 03e273042b0d d57ee9eab157
line wrap: on
line diff