comparison configure1.in @ 13501:3691c5bda8d2

(dabbrev-case-replace): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sat, 11 Nov 1995 05:24:34 +0000
parents c1e70445780e
children
comparison
equal deleted inserted replaced
13500:5de4c8a3f702 13501:3691c5bda8d2