diff COPYING @ 45292:e3ba76f78075

(dabbrev-case-distinction): New option. (dabbrev--try-find): Handle dabbrev-case-distinction. (dabbrev--search): Clean up the code. (dabbrev-upcase-means-case-search): Doc fix. (dabbrev-case-replace): Fix custom tags and docs.
author Richard M. Stallman <rms@gnu.org>
date Tue, 14 May 2002 19:45:09 +0000
parents a21a2f14a765
children d92149473c34
line wrap: on
line diff