diff man/display.texi @ 62353:0db5e423dce7

Various cleanups.
author Richard M. Stallman <rms@gnu.org>
date Sat, 14 May 2005 23:23:39 +0000
parents 432f333b0501
children 6d49a2df78a7 146c086df160
line wrap: on
line diff