diff lib-src/profile.c @ 7859:1d1693211560

(Info-fontify-node): Require some whitespace after *Note.
author Richard M. Stallman <rms@gnu.org>
date Sun, 12 Jun 1994 14:37:21 +0000
parents 92cef0f29878
children 52590f967c1e
line wrap: on
line diff