diff etc/future-bug @ 41222:3d601db16361

(princ-list, checkdoc-read-event, add-to-list): Delete compatibility code. (checkdoc-next-message-error): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Nov 2001 22:51:11 +0000
parents 03ddf0b96330
children 23a1cea22d13
line wrap: on
line diff