diff configure.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 c7eafa2fbe91
children 64aa0d436a80
line wrap: on
line diff