diff etc/TUTORIAL @ 57017:9f99ae07c452

(Minibuffer History): Add `history-delete-duplicates'.
author Juri Linkov <juri@jurta.org>
date Wed, 08 Sep 2004 20:14:47 +0000
parents 695cf19ef79e
children caec6f76657e 375f2633d815
line wrap: on
line diff