diff etc/MACHINES @ 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 65d5bab55dd7
children e109b1e2c9b2
line wrap: on
line diff