diff doc/misc/gpl.texi @ 86918:8ce3c3821144

Move to ../.
author Glenn Morris <rgm@gnu.org>
date Sat, 01 Dec 2007 21:04:06 +0000
parents 92b679648bcf
children ef719132ddfa
line wrap: on
line diff