diff etc/compilation.txt @ 57751:d2b6a6d18cc9

(elide-head): Change error to message. (elide-head-show): Likewise.
author Richard M. Stallman <rms@gnu.org>
date Wed, 27 Oct 2004 17:48:14 +0000
parents 828726b6503b
children f81ffb9e961b e24e2e78deda
line wrap: on
line diff