diff src/s/usg5-4-2.h @ 7705:b10cc49f6c37

(gnus-summary-catchup): Check gnus-interactive-catchup. (gnus-summary-catchup-and-exit): Likewise.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 May 1994 09:11:50 +0000
parents ed596b459f72
children b4a3df418045
line wrap: on
line diff