diff man/mini.texi @ 62859:c18eb4cd2ef7

(compilation-start): Set the mode before inserting the initial text.
author Richard M. Stallman <rms@gnu.org>
date Sun, 29 May 2005 08:32:57 +0000
parents 80f8fd5fdea6
children 32f868f94f5a f042e7c0fe20
line wrap: on
line diff