diff man/mini.texi @ 30405:f1a6dfd30c21

Update copyright notice.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 24 Jul 2000 11:11:51 +0000
parents 6f6d3c803dde
children e05819f22426
line wrap: on
line diff