diff etc/edt-user.doc @ 80926:09cf7476abec

(dabbrev-upcase-means-case-search): Doc fix.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 16 May 2007 13:13:20 +0000
parents e058065ef04c
children 713172dcf518
line wrap: on
line diff