diff lib-src/pop.h @ 18767:31e6205f80b6

Use `sed' instead of `cp', which might not be installed.
author Richard M. Stallman <rms@gnu.org>
date Sun, 13 Jul 1997 20:47:45 +0000
parents 00d52ba071ea
children 7e1538a45702
line wrap: on
line diff