diff etc/compilation.txt @ 70627:61cffb1025d1

(Buffer Names): Add index entries for buffers whose names begin with a space. (Creating Buffers): Document that undo is turned off in buffers whose names begin with a space.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 12 May 2006 18:23:23 +0000
parents 7a6aa8277fe1
children 3681678d3d86 2d92f5c9d6ae
line wrap: on
line diff