diff etc/TUTORIAL.es @ 36588:790b60942664

(bookmark-get-bookmark): Use assoc-ignore-case if bookmark-completion-ignore-case it t.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 06 Mar 2001 15:36:19 +0000
parents be409ac24874
children 84fec8c148fa
line wrap: on
line diff