diff etc/dired-ref.ps @ 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 1a6073992224
children 71c7c34c4f6b
line wrap: on
line diff