diff man/mini.texi @ 64444:15310c1e629c

(basic-save-buffer): Delete duplicate words.
author Juri Linkov <juri@jurta.org>
date Mon, 18 Jul 2005 15:23:04 +0000
parents 32f868f94f5a
children 3723093a21fd 187d6a1f84f7
line wrap: on
line diff