diff lib-src/pop.c @ 15729:612faf2943db

If no dark magenta, use maroon. (gnus-face-dark-name-list): If no dark blue, use royal blue.
author Karl Heuer <kwzh@gnu.org>
date Fri, 19 Jul 1996 19:29:01 +0000
parents 442458addd50
children 645e96bad5ad
line wrap: on
line diff