diff etc/=MACHINES @ 7435:c659a109311c

(rmail-toggle-header): Call rmail-highlight-headers.
author Richard M. Stallman <rms@gnu.org>
date Tue, 10 May 1994 07:38:34 +0000
parents 0e1b3507ee15
children
line wrap: on
line diff