diff config.sub @ 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 65667218173f
children 70f18b582c77
line wrap: on
line diff