diff man/maintaining.texi @ 40228:afee33bfd42a

(srcs): Add gpl.texi and doclicense.texi.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 23 Oct 2001 18:55:49 +0000
parents eff57c5f75db
children 7ea12eee7004
line wrap: on
line diff