diff lib-src/sorted-doc.c @ 15752:c994927cede4

(dabbrev-case-fold-search, dabbrev-case-replace): Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 22 Jul 1996 02:13:10 +0000
parents fdac027af4e1
children 32a7344ac2e7
line wrap: on
line diff