diff man/woman.texi @ 75557:21cbf755a07c

(tutorial--detailed-help): Make the list of changed keys look nicer.
author Richard M. Stallman <rms@gnu.org>
date Tue, 30 Jan 2007 23:47:57 +0000
parents 3d45362f1d38
children 4a7ae61207d2 b8d9a391daf3 95d0cdf160ea
line wrap: on
line diff