diff configure1.in @ 11273:96404b701856

(edt-keep-current-page-delimiter): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 07 Apr 1995 22:11:47 +0000
parents c1e70445780e
children
line wrap: on
line diff