diff src/s/usg5-4-2.h @ 15047:4dfe98bde444

* gnus.el (gnus-summary-pipe-output, gnus-buffer-configuration, gnus-window-to-buffer): Pop up the shell buffer after piping articles through a filter.
author Lars Magne Ingebrigtsen <larsi@gnus.org>
date Thu, 18 Apr 1996 19:36:33 +0000
parents 664012a3216e
children 2a9a4a0589dd
line wrap: on
line diff