diff man/mule.texi @ 55210:9c215b4c9a6d

(compilation-context-lines): Default now 0.
author Richard M. Stallman <rms@gnu.org>
date Wed, 28 Apr 2004 08:36:09 +0000
parents 7232ffdd33dd
children a322009ca3d0
line wrap: on
line diff