diff make-dist @ 87508:ea48a2b3bffe

(Glossary): Fix typo.
author Martin Rudalics <rudalics@gmx.at>
date Mon, 31 Dec 2007 21:56:25 +0000
parents 2c4cf44f634f
children 4424409d4223 53108e6cea98
line wrap: on
line diff