diff man/flymake.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 88224dc74061
line wrap: on
line diff