diff etc/gnu.xpm @ 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 e96ffe544684
children 23a1cea22d13
line wrap: on
line diff