diff etc/PROBLEMS @ 64444:15310c1e629c

(basic-save-buffer): Delete duplicate words.
author Juri Linkov <juri@jurta.org>
date Mon, 18 Jul 2005 15:23:04 +0000
parents 4b9c4819acb4
children 86ac75fb6283 f9a65d7ebd29
line wrap: on
line diff