diff src/m/plexus.h @ 7931:359834d749db

(make_hdr): Handle case of no "additional header".
author Richard M. Stallman <rms@gnu.org>
date Thu, 16 Jun 1994 23:45:41 +0000
parents 7be0f0a02725
children 191acacfa1ec
line wrap: on
line diff