diff man/gpl.texi @ 82687:080e4ac7e10a

Move tutorials from etc/ to etc/tutorials/
author Glenn Morris <rgm@gnu.org>
date Wed, 22 Aug 2007 07:36:23 +0000
parents 6853eb801a27
children
line wrap: on
line diff