diff man/info.texi @ 78345:5b57e2a4ffb0

(EMACSSOURCES): Add gpl.texi.
author Glenn Morris <rgm@gnu.org>
date Fri, 27 Jul 2007 08:09:56 +0000
parents 3d45362f1d38
children 77e05301506d bed4242b228c b8d9a391daf3 95d0cdf160ea
line wrap: on
line diff