diff make-dist @ 7764:fad00b057e50

(kill_buffer_processes): For net conn, use Fdelete_process.
author Richard M. Stallman <rms@gnu.org>
date Wed, 01 Jun 1994 20:36:08 +0000
parents 6191acd134b6
children cba3121c44b7
line wrap: on
line diff