diff configure @ 77708:757ea6230301

(dabbrev-upcase-means-case-search): Doc fix.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 16 May 2007 10:47:14 +0000
parents 5a10f80c77e7
children fb266235bcb8 41aaac7180d5 d7172f202ab8
line wrap: on
line diff