diff make-dist @ 41744:82c101e0ee54

"Kai Grossjohann" --> "Kai Gro?ohann"
author Kai Großjohann <kgrossjo@eu.uu.net>
date Sat, 01 Dec 2001 13:08:23 +0000
parents 8a2033481496
children 84b7e5da33e2
line wrap: on
line diff