diff man/text.texi @ 82165:5c89d80b28a3

Switch license to GPLv3 or later.
author Glenn Morris <rgm@gnu.org>
date Fri, 27 Jul 2007 07:19:16 +0000
parents 3d45362f1d38
children 03462299be3f 95d0cdf160ea
line wrap: on
line diff