diff lib-src/profile.c @ 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 92cef0f29878
children 52590f967c1e
line wrap: on
line diff