diff man/glossary.texi @ 41003:3dcb962aed85

Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 13 Nov 2001 09:39:55 +0000
parents f336a6703f79
children a1e88846ab9a
line wrap: on
line diff