diff configure @ 64441:d0cd5eb4d042

(custom-known-themes): Delete duplicate words.
author Juri Linkov <juri@jurta.org>
date Mon, 18 Jul 2005 15:17:30 +0000
parents 5e92f971ee17
children 993b52f1f2a5 24c69010999c f9a65d7ebd29
line wrap: on
line diff