diff etc/compilation.txt @ 97878:45912950adb0

(apropos-command): Report documentation errors, rather than ignoring.
author Glenn Morris <rgm@gnu.org>
date Sat, 30 Aug 2008 20:14:01 +0000
parents cbf5528cf447
children e3a663b9dab6
line wrap: on
line diff