diff configure1.in @ 9630:5410efcb7b6e

PopServer renamed to popserver throughout.
author Richard M. Stallman <rms@gnu.org>
date Thu, 20 Oct 1994 20:35:57 +0000
parents 46e38c41b66c
children c1e70445780e
line wrap: on
line diff